Summary
veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source, proof-producing, and complete for quantifier-free formulas with uninterpreted functions and linear arithmetic on real numbers and integers. It also offers good support for quantifiers. The input format is the SMT-LIB 2.0 language and DIMACS.
Versions
v2021.06.2 :: 0 :: gentoo
- Modified
- License
- BSD
- Keywords
- ~amd64 ~x86
Dependencies
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
Runtime Dependencies
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
Bugs
- 830052
- sci-mathematics/verit-2021.06.2 - src/.../veriT-qsort.c: fatal error: sys/cdefs.h: No such file or directory
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/verit: [QA] fix UnusedInherits (autotools)
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/verit: src_install - default
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/verit: new package; add version 2021.06.2
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>