search

niklasso / minisat

A minimalistic and high-performance SAT solver
minisat.se
Other
1.01k stars 382 forks source link

Update README #35

Open yadamit opened 5 years ago

yadamit commented 5 years ago

Added command to install using apt-get