MiniSat
by earl, 6288 days ago
"MiniSat is a minimalistic, open-source [create SAT] solver."- http://www.cs.chalmers.se/Cs/Research/FormalMethods/MiniSat/
search
1 active user
- unknown (1)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
