{"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."},{"categoryid":381,"name":"sys-libs","summary":"The sys-libs category contains various system-level libraries."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"89b28c5116c39c06cf392d013376fd765853cfd9","committime":"2025-05-02T15:59:07","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/955200\nSigned-off-by: Maciej Barć ","commitid":"b62ec449848959dea6c0794a42e8eb5d19037a42","committime":"2025-05-02T12:41:36","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: replace tomli dep with tomllib built-in"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ae09de8ac4479379a86345300b3103749fe17c14","committime":"2024-06-12T23:48:57","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"958deb821b366d4ad159fff9ee601d2128d3dec7","committime":"2024-06-12T23:30:48","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: enable python support"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/895118\nSigned-off-by: Maciej Barć ","commitid":"292ba8f849c4bfff03e68225287e22cea8f621a5","committime":"2024-06-12T22:45:25","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: patch unistd include"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/919827\nCloses: https:\/\/bugs.gentoo.org\/916127\nSigned-off-by: Maciej Barć ","commitid":"3c6449a8517f9d9cf2c0f7acf805e9a9ef8e693e","committime":"2024-06-12T22:34:05","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: drop old 5.11.15"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e188254025f68f23489e5df4db739177c9a676c5","committime":"2024-02-14T20:33:54","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ea3d2b7f343f78b5684f0d88116de481de6bd428","committime":"2024-02-14T19:51:09","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: bump to 5.11.21"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8f77d0d7f2f6ead5899395c9a9982089324be7eb","committime":"2024-02-14T19:48:12","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: drop old 5.11.14"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cba3bcde3916e486b6aaf9de2bac727e673cc1ce","committime":"2023-10-22T09:01:49","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"73bf730206eb0b45e3b3e5499163c39173cb20aa","committime":"2023-10-22T08:16:34","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: bump to 5.11.15"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"13b2199ca498cf12dfdf2baa6817d43ef4547270","committime":"2023-10-22T08:14:34","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: drop old 5.11.12"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6db8aa6b650cbcec46884f4f4b401bba8fdcfdc7","committime":"2023-10-22T08:14:23","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: drop old 5.11.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"76daaa381d01f7ee5e78e1335ae9be329705b224","committime":"2023-09-24T13:31:30","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a93eef9e2f8b6d38a131efe7993caf3f747dc137","committime":"2023-09-24T11:19:50","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: bump to 5.11.14"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d72063874b56d8caa5faf9148938105afcc98d4d","committime":"2023-08-12T23:31:31","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"decccc2423744ff0655c8da270c05522c2705894","committime":"2023-08-12T19:56:05","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: drop old 5.11.4"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ce8db00ce1da314fd8e381bb706dd11a7c909cb8","committime":"2023-08-12T19:55:35","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: bump to 5.11.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7e01c8bf305aad4dfb3193a45b501fc007651abb","committime":"2023-06-25T16:16:48","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"f31e51402a27f7591f4b5ff461d0c0eaadf66f40","committime":"2023-06-25T15:31:38","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: bump to 5.11.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"53ad3c32d6aacb1e6e5b6f5dca58884ae0d1e2b3","committime":"2023-04-18T14:01:56","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/895116\nSigned-off-by: Maciej Barć ","commitid":"adc145bc60a27b69c8d00f1eb7e44f33cd57be44","committime":"2023-04-18T12:59:27","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: fix build with GCC 13"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"5a968aff45a1fa12c11d60eb6f1be12dd7faa0ed","committime":"2023-04-18T12:52:13","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: drop old 5.8.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8d0ebee607de5c63d747980fbeb0806c193a29c9","committime":"2023-01-14T13:02:17","packageid":73913,"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":73913,"repoid":1,"summary":"*\/*: remove py3.8 from PYTHON_COMPAT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4bd0b915aa5578e5fb6a3940c4638354433cba99","committime":"2023-01-12T01:32:00","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c0916c566e65101186abaa59fb0329a92f93072a","committime":"2023-01-12T00:48:42","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: bump to 5.11.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"336889b11e74c7c87cadd9c20ad18485a07f6cab","committime":"2022-04-03T19:19:20","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Bug: https:\/\/github.com\/msoos\/cryptominisat\/pull\/679\nCloses: https:\/\/bugs.gentoo.org\/836684\nSigned-off-by: Maciej Barć ","commitid":"d7fe2f7e671ec914e26a6d62800dfc62cda60a22","committime":"2022-04-03T19:11:02","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: fix sysconfig import"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f7a9e89e45a5fa45b52cbb63eefd79f35ee221c0","committime":"2021-12-26T20:06:51","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"06daa4f02225c9ca702b4a86479109cb5b2518ec","committime":"2021-12-26T19:51:47","packageid":73913,"repoid":1,"summary":"sci-mathematics\/cryptominisat: new package; add version 5.8.0"}],"dependencies":[{"block":false,"categoryid":450,"description":"Freethreading (no-GIL) version of Python programming language","ebuildids":[861985,861985,861985],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":393,"description":"Boost Libraries for C++","ebuildids":[861985],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"cpp@gentoo.org","maintainername":"Gentoo C++ Project","name":"boost","packageid":45155},{"block":false,"categoryid":381,"description":"Standard (de)compression library","ebuildids":[861985],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"zlib","packageid":55408}],"depending":[{"block":false,"categoryid":317,"description":"Simple Theorem Prover, an efficient SMT solver for bitvectors","ebuildids":[778718,778718,831242,831242],"firstseen":"2021-12-27T13:30:54.463898","name":"stp","packageid":73915,"summary":"STP is a constraint solver (or SMT solver) aimed at solving constraints of bitvectors and arrays. These types of constraints can be generated by program analysis tools, theorem provers, automated bug finders, cryptographic attack tools, intelligent fuzzers, model checkers, and by many other applications."},{"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":861985,"firstseen":"2025-05-02T17:16:13.820512","license":"GPL-2 MIT","moddate":"2025-05-08T19:37:39","packageid":73913,"repoid":1,"slot":"0\/5.11.21","uses":["debug","python","python_targets_python3_11","python_targets_python3_12","python_targets_python3_13"],"version":"5.11.21-r2"}],"masks":[],"package":{"categoryid":317,"description":"Advanced SAT solver with C++ and command-line interfaces","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."},"rdependencies":[{"block":false,"categoryid":450,"description":"Freethreading (no-GIL) version of Python programming language","ebuildids":[861985,861985,861985],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":393,"description":"Boost Libraries for C++","ebuildids":[861985],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"cpp@gentoo.org","maintainername":"Gentoo C++ Project","name":"boost","packageid":45155},{"block":false,"categoryid":381,"description":"Standard (de)compression library","ebuildids":[861985],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"zlib","packageid":55408}],"repos":[{"branch":"master","lastcommit":"1f8eed0f16f1325d775f3e3c3bcbee7415a32132","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/msoos\/cryptominisat\/"],"uses":[{"description":"Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https:\/\/wiki.gentoo.org\/wiki\/Project:Quality_Assurance\/Backtraces","isdefault":false,"use":"debug"},{"description":"Add optional support\/bindings for the Python language","isdefault":false,"use":"python"},{"description":"Build with Python 3.11","group":"python_targets","isdefault":false,"use":"python3_11"},{"description":"Build with Python 3.12","group":"python_targets","isdefault":false,"use":"python3_12"},{"description":"Build with Python 3.13","group":"python_targets","isdefault":false,"use":"python3_13"}]}