Versions
v1.0.0_pre20220518-r1 :: 0 :: gentoo
- Modified
- License
- MIT
- Keywords
- ~amd64 ~x86
- USE flags
- examples
USE flags
General
- examples
- Install examples, usually source code
Depending packages
sci-mathematics / boolector : Fast SMT solver for bit-vectors, arrays and uninterpreted functions
Bugs
- 895224
- sci-mathematics/btor2tools-1.0.0_pre20220518-r1 - /.../btorsplit.cpp: error: s_verbosity was not declared in this scope
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/btor2tools: H -> COMMIT
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/btor2tools: do not install static libraries
Closes: https://bugs.gentoo.org/890698 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/btor2tools: new package; add 1.0.0_pre20220518
Signed-off-by: Maciej Barć <xgqt@gentoo.org>