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
/
picosat
SAT solver with proof and core support
http://fmv.jku.at/picosat/
Overview
Dependencies
QA report
Pull requests
0
Bugs
3
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2023-01-28
sci-mathematics/picosat: Stabilize 965 amd64, #892299
c5826ad
Sam James
committed on 2023-01-28 00:18:43 UTC
sci-mathematics/picosat/picosat-965.ebuild
Commits on 2023-01-13
Revert "sci-mathematics/picosat: also install static libraries"
6470b88
Maciej Barć
committed on 2023-01-13 15:42:37 UTC
sci-mathematics/picosat/picosat-965.ebuild
sci-mathematics/picosat/picosat-965-r1.ebuild
Commits on 2023-01-11
sci-mathematics/picosat: also install static libraries
7adf721
Maciej Barć
committed on 2023-01-11 03:44:06 UTC
sci-mathematics/picosat/picosat-965-r1.ebuild
sci-mathematics/picosat/picosat-965.ebuild
Commits on 2022-12-06
sci-mathematics/picosat: fix patch apply
aed12ac
Maciej Barć
committed on 2022-12-06 06:22:11 UTC
sci-mathematics/picosat/picosat-965.ebuild
sci-mathematics/picosat: new package; add 965
4ba3712
Maciej Barć
committed on 2022-12-06 02:19:20 UTC
sci-mathematics/picosat/Manifest
sci-mathematics/picosat/files/picosat-965-makefile.in.patch
sci-mathematics/picosat/metadata.xml
sci-mathematics/picosat/picosat-965.ebuild
Packages
Sam James committed on 2023-01-28 00:18:43 UTC
Maciej Barć committed on 2022-12-06 06:22:11 UTC