sci-mathematics / picosat

SAT solver with proof and core support

Official package sites : http://fmv.jku.at/picosat/ ·

v965 :: 0 :: gentoo

Modified
License
MIT
Keywords
amd64 ~x86

sci-mathematics / boolector : Fast SMT solver for bit-vectors, arrays and uninterpreted functions

Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/picosat: Stabilize 965 amd64, #892299
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
Revert "sci-mathematics/picosat: also install static libraries"
This reverts commit 7adf72129265d77da74162a048fb2f9ec9a4005a. Closes: https://bugs.gentoo.org/890700 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/picosat: also install static libraries
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/picosat: fix patch apply
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/picosat: new package; add 965
Signed-off-by: Maciej Barć <xgqt@gentoo.org>