strnisaj / LVR-sat

SAT solver
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

Readme #2

Closed gvesna closed 10 years ago

gvesna commented 10 years ago

Potrebno še popraviti naslove in morebiti še kaj dopisati/spremeniti.