sci-mathematics / btor2tools

Versions

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

Modified

Monday 11 September 11:47

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

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

Change logs

Saturday 04 March

Repository mirror & CI · gentoo
Merge updates from master

Saturday 04 March

Maciej Barć · gentoo
sci-mathematics/btor2tools: H -> COMMIT
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/btor2tools: do not install static libraries
Closes: https://bugs.gentoo.org/890698 Signed-off-by: Maciej Barć <xgqt@gentoo.org>

Wednesday 11 January

Repository mirror & CI · gentoo
Merge updates from master

Wednesday 11 January

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