Loreon
Labs
Platform
Docs
Home
Ecosystems
C++
minisat
A minimalistic and high-performance SAT solver
C++
Emerging
GitHub
Website
Stars
5
Forks
3
Contributors
7
Last push
3mo ago
Recent commits
Latest commits.
Fixing submodule
b58f67e
Mate Soos
3mo ago
Compile with fPIC
4223231
Mate Soos
26mo ago
Updating to build without warnings
f993cfb
Mate Soos
29mo ago
Fixing up post-merge
d9b3463
Mate Soos
29mo ago
Bumping cmake version
c479dce
Mate Soos
29mo ago
Removing warning
ab1a1f3
Mate Soos
86mo ago
Error introduced in minisat, oops
0dd9ca0
Mate Soos
99mo ago
Fixing cmake warning
c0dbd0d
Mate Soos
99mo ago
Top contributors
Builders behind this project.
niklasso
135 commits
msoos
36 commits
koengit
9 commits
rgov
4 commits
jbransen
1 commits
MartinNowack
1 commits
Robbepop
1 commits
