Package details
Package yices2-libs
Version 2.6.4-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 loongarch64
Size 985.8KiB
Installed size 2.1MiB
Origin yices2
Maintainer Patrycja Rosa
Build time 2023-02-10 05:14:10
Commit 4a7eed5e6f74c1eba217d937204bee1095ea11bc
Merge request 43204
Git repository Git repository
Build log Build log
Contents Contents of package