Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
pysat
A toolkit for SAT-based prototyping in Python
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
56mo ago
Recent commits
Latest commits.
Fixed a bug in fm.py.
1c1dd0a
Alexey Ignatiev
56mo ago
Fixed a minor bug related to improper updating IDPool for PB constraints.
4b4d02c
Alexey Ignatiev
56mo ago
Fixed a bug related to meaningless bounds in cardinality constraints.
0fe204d
Alexey Ignatiev
57mo ago
Cluster-based stratification in RC2.
15d63fd
Alexey Ignatiev
59mo ago
Minor issues in the patches for maple*.
79d10ba
Alexey Ignatiev
59mo ago
Minor issues leftover in the patch for mc.
60f7ed8
Alexey Ignatiev
59mo ago
Minor change in the patch for lgl.
9166cab
Alexey Ignatiev
59mo ago
Removed fpu* from solvers' headers in order to compile with musl.
9e66f51
Alexey Ignatiev
59mo ago
Top contributors
Builders behind this project.
alexeyignatiev
100 commits
MiguelTerraNeves
11 commits
mvcisback
6 commits
rjungbeck
6 commits
BoltMaud
2 commits
ChrisJefferson
1 commits
blyxxyz
1 commits
yxliang01
1 commits
