lp - git.papill0n.org

spogulis no git://github.com/heyLu/lp

Nav apraksta

Lucas Stadler 19c052f5d8 use dpll on the dimac formula that was parsed from stdin		11 gadi atpakaļ
..
cnf.rs	318fefac2e mv dpll solve	11 gadi atpakaļ
dpll.rs	19c052f5d8 use dpll on the dimac formula that was parsed from stdin	11 gadi atpakaļ
lib.rs	35ab48ea8d start a dpll module, just for... fun?	11 gadi atpakaļ
main.rs	19c052f5d8 use dpll on the dimac formula that was parsed from stdin	11 gadi atpakaļ