{"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":396,"name":"virtual","summary":"The virtual category contains packages which satisfy virtual dependencies."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5a1adb610b1d91ab6683cbe671e266f424224c16","committime":"2025-11-04T08:35:48","packageid":73913,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Update done using:\n\n```\ngit grep -l sys-libs\/zlib dev-* | xargs sed -i -e s@sys-libs\/zlib@virtual\/zlib@g\ngit diff --name-only | xargs copybump\ngit diff --name-only | xargs grep -l PYTHON_COMPAT | xargs gpy-impl -@dead\npkgcheck scan --commits -c SourcingCheck,VisibilityCheck --exit error\n```\n\nSigned-off-by: Michał Górny ","commitid":"f1351833569f8b22abc3dc9e74abeed7e8641096","committime":"2025-11-04T08:17:06","packageid":73913,"repoid":1,"summary":"sci-*\/*: update for virtual\/zlib"},{"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":"An interpreted, interactive, object-oriented 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":396,"description":"Virtual for libz.so providers","ebuildids":[861985],"firstseen":"2025-11-04T07:31:41.418357","name":"zlib","packageid":78605}],"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."}],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":861985,"firstseen":"2025-05-02T17:16:13.820512","license":"GPL-2 MIT","moddate":"2026-03-30T13:49:45","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":"An interpreted, interactive, object-oriented 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":396,"description":"Virtual for libz.so providers","ebuildids":[861985],"firstseen":"2025-11-04T07:31:41.418357","name":"zlib","packageid":78605}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","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"}]}