{"bugs":[],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2ac97f3c32f1451d3eaed99104678847dae5c224","committime":"2024-09-30T18:36:12","packageid":75749,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7a0fddf2cf98ea53117f839682f8d986e2568280","committime":"2024-09-30T17:51:50","packageid":75749,"repoid":1,"summary":"sci-mathematics\/boolector: bump to 3.2.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3c3bc0f7ccd67790a8bd56abfa386594ef7f519b","committime":"2024-04-09T09:48:56","packageid":75749,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/928977\nSigned-off-by: Maciej Barć ","commitid":"06021461187e64c3e51d48b0a9edde50d1f591c6","committime":"2024-04-09T08:12:05","packageid":75749,"repoid":1,"summary":"sci-mathematics\/boolector: fix install on musl"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d6de1ae13f9751eef79843d8bcfca985c89f80bd","committime":"2024-04-09T07:45:25","packageid":75749,"repoid":1,"summary":"sci-mathematics\/boolector: drop old 3.2.2_p20220110"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e99d82ea2bb20f6d08f0abf3264308987d80cea8","committime":"2023-11-02T22:16:52","packageid":75749,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"07cc52f59e59f75285f52bffffa37be0f5bd867f","committime":"2023-11-02T22:06:38","packageid":75749,"repoid":1,"summary":"sci-mathematics\/boolector: bump to 3.2.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"86257ab84886ecbebf90e9e891d3490a1c8d1e35","committime":"2023-03-04T16:46:55","packageid":75749,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b4d8369be569d7fed1fe62409af26533fd268139","committime":"2023-03-04T16:01:35","packageid":75749,"repoid":1,"summary":"sci-mathematics\/boolector: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8d0ebee607de5c63d747980fbeb0806c193a29c9","committime":"2023-01-14T13:02:17","packageid":75749,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Signed-off-by: David Seifert ","commitid":"ed468028e725c9580a7b2ee02d6b7b9375f7a0b2","committime":"2023-01-14T12:51:19","packageid":75749,"repoid":1,"summary":"*\/*: remove py3.8 from PYTHON_COMPAT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6aebcab3f74f340d9ae7c6355edf99623c703daa","committime":"2023-01-13T15:47:01","packageid":75749,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Bug: https:\/\/bugs.gentoo.org\/890700\nBug: https:\/\/bugs.gentoo.org\/890698\nSigned-off-by: Maciej Barć ","commitid":"ac87869d0ea8a5cdb172270e19d04a0eb79d5501","committime":"2023-01-13T15:10:16","packageid":75749,"repoid":1,"summary":"sci-mathematics\/boolector: fix build to not require static libs"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"93b697a324e9c42fc2e49039d83308044365d974","committime":"2023-01-11T04:02:12","packageid":75749,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8c125ea193d4cdad739e556558e28605fe455bf1","committime":"2023-01-11T03:39:41","packageid":75749,"repoid":1,"summary":"sci-mathematics\/boolector: new package; add 3.2.2_p20220110"}],"dependencies":[{"block":false,"categoryid":450,"description":"Freethreading (no-GIL) version of Python programming language","ebuildids":[805248,805248,805248,839703,839703,839703,839703],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[805248,839703],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512},{"block":false,"categoryid":317,"description":"Small yet efficient SAT solver with reference paper","ebuildids":[805248,839703],"firstseen":"2011-04-10T14:39:35.202649","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"minisat","packageid":57212,"summary":"MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. It is released under the MIT licence, and is currently used in a number of projects. MiniSat is small and well-documented, and possibly also well-designed, making it an ideal starting point for adapting SAT based techniques to domain specific problems. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT. MiniSat supports incremental SAT and has mechanisms for adding non-clausal constraints. By virtue of being easy to modify, it is a good choice for integrating as a backend to another tool, such as a model checker or a more generic constraint solver."},{"block":false,"categoryid":317,"description":"Advanced SAT solver with C++ and command-line interfaces","ebuildids":[805248,839703],"firstseen":"2021-12-26T20:23:15.104272","name":"cryptominisat","packageid":73913,"summary":"This system provides CryptoMiniSat, an advanced incremental SAT solver. The system has 3 interfaces: command-line, C++ library and python. The command-line interface takes a cnf as an input in the DIMACS format with the extension of XOR clauses. The C++ and python interface mimics this and also allows for incremental use: assumptions and multiple solve calls."},{"block":false,"categoryid":317,"description":"SAT solver with proof and core support","ebuildids":[805248,839703],"firstseen":"2022-12-06T02:51:40.114587","name":"picosat","packageid":75647},{"block":false,"categoryid":317,"description":"Generic parser and tools for the BTOR2 format","ebuildids":[805248,839703],"firstseen":"2023-01-11T04:08:58.040421","name":"btor2tools","packageid":75750}],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":839703,"firstseen":"2024-09-30T19:44:40.351748","license":"MIT","moddate":"2024-12-17T22:35:47","packageid":75749,"repoid":1,"slot":"0","uses":["cryptominisat","examples","gmp","minisat","picosat","python","python_single_target_python3_10","python_single_target_python3_11","python_single_target_python3_12","python_single_target_python3_13","test"],"version":"3.2.4"},{"archs":["~amd64","~x86"],"ebuildid":805248,"firstseen":"2023-11-02T22:32:15.640149","license":"MIT","moddate":"2024-12-17T22:35:47","packageid":75749,"repoid":1,"slot":"0","uses":["cryptominisat","examples","gmp","minisat","picosat","python","python_single_target_python3_10","python_single_target_python3_11","python_single_target_python3_12","test"],"version":"3.2.3"}],"masks":[],"package":{"categoryid":317,"description":"Fast SMT solver for bit-vectors, arrays and uninterpreted functions","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."},"rdependencies":[{"block":false,"categoryid":450,"description":"Freethreading (no-GIL) version of Python programming language","ebuildids":[805248,805248,805248,839703,839703,839703,839703],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[805248,839703],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512},{"block":false,"categoryid":317,"description":"Small yet efficient SAT solver with reference paper","ebuildids":[805248,839703],"firstseen":"2011-04-10T14:39:35.202649","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"minisat","packageid":57212,"summary":"MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. It is released under the MIT licence, and is currently used in a number of projects. MiniSat is small and well-documented, and possibly also well-designed, making it an ideal starting point for adapting SAT based techniques to domain specific problems. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT. MiniSat supports incremental SAT and has mechanisms for adding non-clausal constraints. By virtue of being easy to modify, it is a good choice for integrating as a backend to another tool, such as a model checker or a more generic constraint solver."},{"block":false,"categoryid":317,"description":"Advanced SAT solver with C++ and command-line interfaces","ebuildids":[805248,839703],"firstseen":"2021-12-26T20:23:15.104272","name":"cryptominisat","packageid":73913,"summary":"This system provides CryptoMiniSat, an advanced incremental SAT solver. The system has 3 interfaces: command-line, C++ library and python. The command-line interface takes a cnf as an input in the DIMACS format with the extension of XOR clauses. The C++ and python interface mimics this and also allows for incremental use: assumptions and multiple solve calls."},{"block":false,"categoryid":317,"description":"SAT solver with proof and core support","ebuildids":[805248,839703],"firstseen":"2022-12-06T02:51:40.114587","name":"picosat","packageid":75647},{"block":false,"categoryid":317,"description":"Generic parser and tools for the BTOR2 format","ebuildids":[805248,839703],"firstseen":"2023-01-11T04:08:58.040421","name":"btor2tools","packageid":75750}],"repos":[{"branch":"master","lastcommit":"fca511c77eccdbd1fc733bf9fc52a6fcd83f1434","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/boolector.github.io\/","https:\/\/github.com\/Boolector\/boolector\/"],"uses":[{"description":"Enable support for sci-mathematics\/cryptominisat","isdefault":false,"packageid":75749,"use":"cryptominisat"},{"description":"Install examples, usually source code","isdefault":false,"use":"examples"},{"defaultflag":true,"description":"Add support for dev-libs\/gmp (GNU MP library)","isdefault":true,"use":"gmp"},{"description":"Enable support for sci-mathematics\/minisat","isdefault":false,"packageid":75749,"use":"minisat"},{"defaultflag":true,"description":"Enable support for sci-mathematics\/picosat","isdefault":true,"packageid":75749,"use":"picosat"},{"description":"Add optional support\/bindings for the Python language","isdefault":false,"use":"python"},{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"},{"description":"Build for Python 3.10 only","group":"python_single_target","isdefault":false,"use":"python3_10"},{"description":"Build for Python 3.11 only","group":"python_single_target","isdefault":false,"use":"python3_11"},{"description":"Build for Python 3.12 only","group":"python_single_target","isdefault":false,"use":"python3_12"},{"description":"Build for Python 3.13 only","group":"python_single_target","isdefault":false,"use":"python3_13"}]}