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

3 Commits (bd3c5dc805b2b7bacfedee02248a4cd8223b3b29)

Author SHA1 Message Date
  Lucas Stadler d052a48bd9 link the dpll source from the readme 10 years ago
  Lucas Stadler 9476b08a70 mention the dpll solver in the readme, document usage 10 years ago
  Lucas Stadler 318fefac2e mv dpll solve 10 years ago