Summary
OpenSMT2 is an SMT solver written in C++. It supports reading files in SMT-LIB2 format and the theories QF_UF, QF_RDL, QF_IDL, QF_LRA, QF_LIA, QF_UFLRA, QF_UFLIA and QF_AX. The system also provides an API; the distribution includes a minimal example how to use the API.
Versions
v2.4.3-r1 :: 0/2.4.3 :: gentoo
- Modified
- License
- MIT
- Keywords
- ~amd64 ~x86
- USE flags
- debug libedit readline test
USE flags
General
- debug
- Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
- libedit
- Use the libedit library (replacement for readline)
- readline
- Enable support for libreadline, a GNU line-editing library that almost everyone wants
- test
- Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
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
- 894728
- sci-mathematics/opensmt-2.4.3-r1 - mv: .../libopensmt.so are the same file
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/opensmt: fix build on musl
Bug: https://github.com/usi-verification-and-security/opensmt/pull/590 Closes: https://bugs.gentoo.org/890794 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/opensmt: drop old 2.4.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/opensmt: prevent fetching googletest
Closes: https://bugs.gentoo.org/890722 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/opensmt: do not install static libs
Closes: https://bugs.gentoo.org/890724 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/opensmt: new package; add 2.4.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>