sci-mathematics / opensmt

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

Sunday 26 March 13:04

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

dev-libs / libedit : BSD replacement for libreadline

sys-libs / readline : Another cute console display library

Runtime Dependencies

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

dev-libs / libedit : BSD replacement for libreadline

sys-libs / readline : Another cute console display library

Bugs

894728

sci-mathematics/opensmt-2.4.3-r1 - mv: .../libopensmt.so are the same file

Change logs

Monday 06 February

Repository mirror & CI · gentoo
Merge updates from master

Monday 06 February

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>

Monday 06 February

Maciej Barć · gentoo
sci-mathematics/opensmt: drop old 2.4.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>

Friday 13 January

Repository mirror & CI · gentoo
Merge updates from master

Friday 13 January

Maciej Barć · gentoo
sci-mathematics/opensmt: prevent fetching googletest
Closes: https://bugs.gentoo.org/890722 Signed-off-by: Maciej Barć <xgqt@gentoo.org>

Friday 13 January

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>

Monday 09 January

Repository mirror & CI · gentoo
Merge updates from master

Monday 09 January

Maciej Barć · gentoo
sci-mathematics/opensmt: new package; add 2.4.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>