Home Explore Help
Sign In
lu
/
lp
mirror of git://github.com/heyLu/lp
Watch 1
Star 0
Fork 0
Code Issues 0 Commits 774 Releases 1 Wiki
Tree: c24d7ccc84
Branches Tags

5 Commits (c24d7ccc8474859843f72a4e9ea6157cc40846db)

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