Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
minisat
Small yet efficient SAT solver with reference paper
http://minisat.se/Main.html
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Commits on Jan 24, 2022
sci-mathematics/minisat: reformat metadata.xml
0302bfc
David Seifert
committed on 24 Jan 2022 09:32:16
metadata.xml
sci-mathematics/minisat: don't install static libraries (pg0204)
ba0f1ed
David Seifert
committed on 24 Jan 2022 09:32:15
files/minisat-2.2.1-cmake.patch
minisat-2.2.1-r1.ebuild
minisat-2.2.1.ebuild
Commits on Jan 17, 2022
sci-mathematics/minisat: drop old 2.2.0_p20130925 version
403dbc4
Maciej Barć
committed on 17 Jan 2022 18:06:01
Manifest
files/minisat-2.2.0_p20130925-nusmv.patch
minisat-2.2.0_p20130925-r1.ebuild
Commits on Dec 26, 2021
sci-mathematics/minisat: bump to 2.2.1
c544a91
Maciej Barć
committed on 26 Dec 2021 15:41:22
minisat-2.2.1.ebuild
Manifest
metadata.xml
Commits on Sep 11, 2021
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 11 Sep 2021 13:22:48