{"bugs":[{"bugid":667976,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"UNCONFIRMED","summary":"sci-mathematics\/minisat-2.2.0-r4 is not honoring rules in template.mk to exclude Main.o* when creating libminisat.a"},{"bugid":698566,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"UNCONFIRMED","summary":"sci-mathematics\/minisat-2.2.0-r4: error: friend declaration of 'Minisat::Lit mkLit(Minisat::Var, bool)' specifies default arguments and isn't a definition"}],"categories":[{"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":57212,"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":57212,"repoid":1,"summary":"sci-*\/*: update for virtual\/zlib"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bb807a3820eaa72357661c2e2e61f325b0af3e41","committime":"2025-03-24T00:35:11","packageid":57212,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/951736\nSigned-off-by: Maciej Barć ","commitid":"f0ddba54bb2931e81f8d724a1512b853082b8d52","committime":"2025-03-23T22:22:59","packageid":57212,"repoid":1,"summary":"sci-mathematics\/minisat: bump cmake_minimum_required"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"45e55a16bae5338b97bb8d012cbe519bccf429c6","committime":"2023-02-06T17:31:46","packageid":57212,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Bug: https:\/\/github.com\/stp\/minisat\/pull\/6\nCloses: https:\/\/bugs.gentoo.org\/832519\nSigned-off-by: Maciej Barć ","commitid":"58bf1623e2f1be955a04a7b5adbbb03b79459fbd","committime":"2023-02-06T16:14:41","packageid":57212,"repoid":1,"summary":"sci-mathematics\/minisat: fix build on musl"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fa73bc357226a49748a9c7e5d27a5265a732eff7","committime":"2022-01-24T09:51:43","packageid":57212,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Signed-off-by: David Seifert ","commitid":"ba0f1ed8329f945c8d7718ac06a374d8b390828b","committime":"2022-01-24T09:32:15","packageid":57212,"repoid":1,"summary":"sci-mathematics\/minisat: don't install static libraries (pg0204)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"34c41dd4b93cabf7f94be5af90bca48ede827e31","committime":"2022-01-17T18:21:43","packageid":57212,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/741598\nCloses: https:\/\/bugs.gentoo.org\/713420\nPackage-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"403dbc431f544038e9c5d44e563194f0bf395c02","committime":"2022-01-17T18:00:34","packageid":57212,"repoid":1,"summary":"sci-mathematics\/minisat: drop old 2.2.0_p20130925 version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ed14ee2802325873e07bb625512eac6cb1a2a318","committime":"2021-12-26T15:52:33","packageid":57212,"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":"c544a910fcb78324a9001fbe6c1bc4931e47c21f","committime":"2021-12-26T15:19:38","packageid":57212,"repoid":1,"summary":"sci-mathematics\/minisat: bump to 2.2.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dcdec439559bd3dbf583382cda731faf9ae1e54e","committime":"2021-01-20T13:33:04","packageid":57212,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jakov.smolic@sartura.hr","authorname":"Jakov Smolic","body":"Signed-off-by: Jakov Smolic \nSigned-off-by: David Seifert ","commitid":"0dd0fe2b6c5655a1016fe50ec572fe55f414c230","committime":"2021-01-20T10:15:46","packageid":57212,"repoid":1,"summary":"sci-mathematics\/minisat: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3f73cc80597ef00a0ea1ef9ec6aad61de61ec619","committime":"2019-10-21T14:45:35","packageid":57212,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jeffrey@icurse.nl","authorname":"Jeffrey Lin","body":"Bug: https:\/\/bugs.gentoo.org\/697562\nCloses: https:\/\/bugs.gentoo.org\/694982\nPackage-Manager: Portage-2.3.53, Repoman-2.3.12\nSigned-off-by: Jeffrey Lin \nSigned-off-by: Joonas Niilola ","commitid":"494768fd4f91286c04abcac0cb06c6042720cd1f","committime":"2019-01-04T03:37:59","packageid":57212,"repoid":1,"summary":"sci-mathematics\/minisat: fix sed in header files"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":57212,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"Signed-off-by: Robin H. Johnson ","commitid":"61b861acd7b49083dab687e133f30f3331cb7480","committime":"2017-02-28T19:47:27","packageid":57212,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"8f2dbc9bbea60bafa18b3c2fa0f4560d0e393b46","committime":"2016-09-13T08:23:05","packageid":57212,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"wippbox@gmx.net","authorname":"Gerhard Bräunlich","body":"Package-Manager: portage-2.2.28\nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/2282\n\nSigned-off-by: David Seifert ","commitid":"cea4776ca601ecc574478b3ec3a4d7e014e2e710","committime":"2016-09-09T13:39:34","packageid":57212,"repoid":1,"summary":"sci-mathematics\/minisat: Adding minisat-2.2.0_p20130925"},{"authoremail":"wippbox@gmx.net","authorname":"Gerhard Bräunlich","body":"Package-Manager: portage-2.2.28\nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/2282\n\nSigned-off-by: David Seifert ","commitid":"5a24247d97a26cc91591658f68f3ded71664c723","committime":"2016-09-09T13:36:41","packageid":57212,"repoid":1,"summary":"sci-mathematics\/minisat: Unsiliencing makefile"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"fff5667ccfd24f5e5f5463c04eb48394f464153a","committime":"2016-09-08T22:22:49","packageid":57212,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"wippbox@gmx.net","authorname":"Gerhard Bräunlich","body":"Package-Manager: portage-2.2.28\nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/2279\n\nSigned-off-by: David Seifert ","commitid":"c13bca2bd6185c512eda1183e5befe1e27e421ad","committime":"2016-09-08T20:07:28","packageid":57212,"repoid":1,"summary":"sci-mathematics\/minisat: Removing EAPI 2 ebuilds"},{"authoremail":"wippbox@gmx.net","authorname":"Gerhard Bräunlich","body":"Package-Manager: portage-2.2.28\nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/2279\n\nSigned-off-by: David Seifert ","commitid":"5eda6c0e3cd443dfa5cae9320910d4c65547affa","committime":"2016-09-08T15:10:10","packageid":57212,"repoid":1,"summary":"sci-mathematics\/minisat: revbump (EAPI 2 -> 6)"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":57212,"repoid":1,"summary":"2015-08-09 09:26:21 UTC"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"This commit represents a new era for Gentoo:\nStoring the gentoo-x86 tree in Git, as converted from CVS.\n\nThis commit is the start of the NEW history.\nAny historical data is intended to be grafted onto this point.\n\nCreation process:\n1. Take final CVS checkout snapshot\n2. Remove ALL ChangeLog* files\n3. Transform all Manifests to thin\n4. Remove empty Manifests\n5. Convert all stale $Header$\/$Id$ CVS keywords to non-expanded Git $Id$\n5.1. Do not touch files with -kb\/-ko keyword flags.\n\nSigned-off-by: Robin H. Johnson \nX-Thanks: Alec Warner - did the GSoC 2006 migration tests\nX-Thanks: Robin H. Johnson - infra guy, herding this project\nX-Thanks: Nguyen Thai Ngoc Duy - Former Gentoo developer, wrote Git features for the migration\nX-Thanks: Brian Harring - wrote much python to improve cvs2svn\nX-Thanks: Rich Freeman - validation scripts\nX-Thanks: Patrick Lauer - Gentoo dev, running new 2014 work in migration\nX-Thanks: Michał Górny - scripts, QA, nagging\nX-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed","commitid":"56bd759df1d0c750a065b8c845e93d5dfa6b549d","committime":"2015-08-08T20:49:04","packageid":57212,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":57212,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[{"block":false,"categoryid":396,"description":"Virtual for libz.so providers","ebuildids":[737334],"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":737334,"firstseen":"2022-01-24T09:57:31.793685","license":"MIT","moddate":"2026-03-28T18:04:21","packageid":57212,"repoid":1,"slot":"0\/2.2.1","uses":["doc"],"version":"2.2.1-r1"}],"masks":[],"package":{"categoryid":317,"description":"Small yet efficient SAT solver with reference paper","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."},"rdependencies":[{"block":false,"categoryid":396,"description":"Virtual for libz.so providers","ebuildids":[737334],"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":["http:\/\/minisat.se\/Main.html","https:\/\/github.com\/stp\/minisat\/"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"}]}