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

5 Commits (5575406c98284ca10b8931536b4a3fee9b9678bb)

Autore SHA1 Messaggio Data
  Lucas Stadler 31f11b62c9 remove threading workaround 10 anni fa
  Lucas Stadler 78b1496b22 use a thread to increase the stack size 10 anni fa
  Lucas Stadler 19c052f5d8 use dpll on the dimac formula that was parsed from stdin 10 anni fa
  Lucas Stadler 67b0a7f659 make emacs happy (spaces as indents) 10 anni fa
  Lucas Stadler 318fefac2e mv dpll solve 10 anni fa