start | find | index | login or register | edit
MiniSat
by earl, 4617 days ago
"MiniSat is a minimalistic, open-source [create SAT] solver."

- http://www.cs.chalmers.se/Cs/Research/FormalMethods/MiniSat/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6775 days • c'est un vanilla site