Home Esplora Aiuto
Accedi
lu
/
lp
mirror da git://github.com/heyLu/lp
Segui 1
Vota 0
Forka 0
Codice Problemi 0 Commit 859 Rilasci 1 Wiki
Albero (Tree): 13a196e694
Rami (Branch) Tag

3 Commits (13a196e69489a0210cb3c2fffbb74f86b7bc71d0)

Autore SHA1 Messaggio Data
  Lucas Stadler d052a48bd9 link the dpll source from the readme 10 anni fa
  Lucas Stadler 9476b08a70 mention the dpll solver in the readme, document usage 10 anni fa
  Lucas Stadler 318fefac2e mv dpll solve 10 anni fa