{"bugs":[],"categories":[{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f76b46839ea5aa3876065dcf0e1cc35604a8cc92","committime":"2025-03-20T22:18:19","packageid":75750,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/951681\nSigned-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"a1744f61712193ef861fb1dcbf3c9d039febe307","committime":"2025-03-20T20:12:58","packageid":75750,"repoid":1,"summary":"sci-mathematics\/btor2tools: bump cmake_minimum_required"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e99d82ea2bb20f6d08f0abf3264308987d80cea8","committime":"2023-11-02T22:16:52","packageid":75750,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/908486\nCloses: https:\/\/bugs.gentoo.org\/895224\nSigned-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"e48c503d9ca71e3a2d7eca85febde7630cb2ef60","committime":"2023-11-02T21:52:39","packageid":75750,"repoid":1,"summary":"sci-mathematics\/btor2tools: patch includes"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"86257ab84886ecbebf90e9e891d3490a1c8d1e35","committime":"2023-03-04T16:46:55","packageid":75750,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"365d8713fddea38915a7bf83ac1bcd732db4b1a8","committime":"2023-03-04T15:54:38","packageid":75750,"repoid":1,"summary":"sci-mathematics\/btor2tools: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6aebcab3f74f340d9ae7c6355edf99623c703daa","committime":"2023-01-13T15:47:01","packageid":75750,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/890698\nSigned-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"6ce161a93f2e7f025a2d5a529338ef49b7daf2bb","committime":"2023-01-13T14:59:23","packageid":75750,"repoid":1,"summary":"sci-mathematics\/btor2tools: do not install static libraries"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"93b697a324e9c42fc2e49039d83308044365d974","committime":"2023-01-11T04:02:12","packageid":75750,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"4d6547a3ace7ae516f10b4e1b0b25e1ea4144143","committime":"2023-01-11T00:36:04","packageid":75750,"repoid":1,"summary":"sci-mathematics\/btor2tools: new package; add 1.0.0_pre20220518"}],"dependencies":[],"depending":[{"block":false,"categoryid":317,"description":"Fast SMT solver for bit-vectors, arrays and uninterpreted functions","ebuildids":[839703,839703],"firstseen":"2023-01-11T04:08:58.040421","name":"boolector","packageid":75749,"summary":"Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions. It supports the SMT-LIB logics BV, QF_ABV, QF_AUFBV, QF_BV and QF_UFBV. Boolector provides a rich C and Python API and supports incremental solving, both with the SMT-LIB commands push and pop, and as solving under assumptions."}],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":774753,"firstseen":"2023-01-13T16:02:33.198122","license":"MIT","moddate":"2025-05-06T18:09:01","packageid":75750,"repoid":1,"slot":"0","uses":["examples"],"version":"1.0.0_pre20220518-r1"}],"masks":[],"package":{"categoryid":317,"description":"Generic parser and tools for the BTOR2 format","firstseen":"2023-01-11T04:08:58.040421","name":"btor2tools","packageid":75750},"rdependencies":[],"repos":[{"branch":"master","lastcommit":"9c10f61b99843320319657b6859f67a22f742e46","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/Boolector\/btor2tools\/"],"uses":[{"description":"Install examples, usually source code","isdefault":false,"use":"examples"}]}