Package details
Package yices2-libs
Version 2.6.5-r0
Description Solver for Satisfiability Modulo Theories (SMT) problems (libraries)
Project https://github.com/SRI-CSL/yices2
License GPL-3.0-or-later
Branch edge
Repository testing
Architecture armv7
Size 674.6KiB
Installed size 1018.3KiB
Origin yices2
Maintainer Patrycja Rosa
Build time 2025-03-02 23:00:01
Commit 7c460ff5ee5b509299dd184e12df1ccb6018a3c7
Merge request 80811
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package
Depends (2)
Required by (1)
Sub Packages (2)
Provides (1)
Install if (0)