sci-mathematics / btor2tools

Generic parser and tools for the BTOR2 format

Official package sites : https://github.com/Boolector/btor2tools/ ·

v1.0.0_pre20220518-r1 :: 0 :: gentoo

Modified
License
MIT
Keywords
~amd64 ~x86
USE flags
examples

General

examples
Install examples, usually source code

sci-mathematics / boolector : Fast SMT solver for bit-vectors, arrays and uninterpreted functions

895224
sci-mathematics/btor2tools-1.0.0_pre20220518-r1 - /.../btorsplit.cpp: error: s_verbosity was not declared in this scope
908486
sci-mathematics/btor2tools-1.0.0_pre20220518-r1 fails to compile (MUSL-SYSTEM): btorsplit.cpp:25:8: error: uint32_t does not name a type
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>