sci-mathematics / verit

An open, trustable and efficient SMT-prover

Official package sites : https://verit.loria.fr/ ·

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.

v2021.06.2 :: 0 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

830052
sci-mathematics/verit-2021.06.2 - src/.../veriT-qsort.c: fatal error: sys/cdefs.h: No such file or directory
927329
sci-mathematics/verit-2021.06.2 calls commands that do not exist: CFLAGS+=
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>