├── .gitignore ├── LICENSE ├── docs ├── images │ ├── dom-color.png │ ├── mcgregor3.pdf │ ├── pebbles-color.png │ ├── pigeon2-color.png │ ├── pigeon3-color.png │ ├── queens-color.png │ ├── ramsey.pdf │ ├── tree1-color.png │ ├── tree2-color.png │ ├── tree3-color.png │ └── tseitin-ex-color.png ├── learnsat-overview.pdf ├── learnsat-overview.tex ├── learnsat-tutorial.pdf ├── learnsat-tutorial.tex ├── learnsat-ug.pdf ├── learnsat-ug.tex ├── tikz.tex └── version.tex ├── examples ├── GenerateSatPRO.class ├── GenerateSatPRO.java ├── all-2-0.txt ├── all-short-2-0.txt ├── all-short.pl ├── all-short.txt ├── all.pl ├── bmc-generate-sem.pl ├── bmc-sem.pl ├── color-queens.pl ├── examples.pl ├── fcall-short.bat ├── fcall.bat ├── generate-langford.pl ├── generate-vdw.pl ├── graph-color.pl ├── langford.pl ├── mcgregor.pl ├── pebbling.pl ├── pigeon.pl ├── queens.pl ├── ramsey.pl ├── schur.pl ├── schur.txt ├── sudoku.pl ├── tablea.pl ├── tableb.pl ├── tablec.pl ├── tseitin.pl ├── unsat.pl └── vdw.pl ├── learnsat.bib ├── paper.md ├── readme.md └── src ├── auxpred.pl ├── cdcl.pl ├── config.pl ├── counters.pl ├── dimacs-test.pl ├── dimacs.pl ├── display.pl ├── dot.pl ├── dpll.pl ├── io.pl ├── modes.pl └── ops.pl /.gitignore: -------------------------------------------------------------------------------- 1 | *.zip 2 | *.bat 3 | *~ 4 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/LICENSE -------------------------------------------------------------------------------- /docs/images/dom-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/images/dom-color.png -------------------------------------------------------------------------------- /docs/images/mcgregor3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/images/mcgregor3.pdf -------------------------------------------------------------------------------- /docs/images/pebbles-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/images/pebbles-color.png -------------------------------------------------------------------------------- /docs/images/pigeon2-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/images/pigeon2-color.png -------------------------------------------------------------------------------- /docs/images/pigeon3-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/images/pigeon3-color.png -------------------------------------------------------------------------------- /docs/images/queens-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/images/queens-color.png -------------------------------------------------------------------------------- /docs/images/ramsey.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/images/ramsey.pdf -------------------------------------------------------------------------------- /docs/images/tree1-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/images/tree1-color.png -------------------------------------------------------------------------------- /docs/images/tree2-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/images/tree2-color.png -------------------------------------------------------------------------------- /docs/images/tree3-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/images/tree3-color.png -------------------------------------------------------------------------------- /docs/images/tseitin-ex-color.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/images/tseitin-ex-color.png -------------------------------------------------------------------------------- /docs/learnsat-overview.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/learnsat-overview.pdf -------------------------------------------------------------------------------- /docs/learnsat-overview.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/learnsat-overview.tex -------------------------------------------------------------------------------- /docs/learnsat-tutorial.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/learnsat-tutorial.pdf -------------------------------------------------------------------------------- /docs/learnsat-tutorial.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/learnsat-tutorial.tex -------------------------------------------------------------------------------- /docs/learnsat-ug.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/learnsat-ug.pdf -------------------------------------------------------------------------------- /docs/learnsat-ug.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/learnsat-ug.tex -------------------------------------------------------------------------------- /docs/tikz.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/docs/tikz.tex -------------------------------------------------------------------------------- /docs/version.tex: -------------------------------------------------------------------------------- 1 | \large Version 2.0 2 | -------------------------------------------------------------------------------- /examples/GenerateSatPRO.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/GenerateSatPRO.class -------------------------------------------------------------------------------- /examples/GenerateSatPRO.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/GenerateSatPRO.java -------------------------------------------------------------------------------- /examples/all-2-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/all-2-0.txt -------------------------------------------------------------------------------- /examples/all-short-2-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/all-short-2-0.txt -------------------------------------------------------------------------------- /examples/all-short.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/all-short.pl -------------------------------------------------------------------------------- /examples/all-short.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/all-short.txt -------------------------------------------------------------------------------- /examples/all.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/all.pl -------------------------------------------------------------------------------- /examples/bmc-generate-sem.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/bmc-generate-sem.pl -------------------------------------------------------------------------------- /examples/bmc-sem.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/bmc-sem.pl -------------------------------------------------------------------------------- /examples/color-queens.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/color-queens.pl -------------------------------------------------------------------------------- /examples/examples.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/examples.pl -------------------------------------------------------------------------------- /examples/fcall-short.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/fcall-short.bat -------------------------------------------------------------------------------- /examples/fcall.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/fcall.bat -------------------------------------------------------------------------------- /examples/generate-langford.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/generate-langford.pl -------------------------------------------------------------------------------- /examples/generate-vdw.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/generate-vdw.pl -------------------------------------------------------------------------------- /examples/graph-color.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/graph-color.pl -------------------------------------------------------------------------------- /examples/langford.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/langford.pl -------------------------------------------------------------------------------- /examples/mcgregor.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/mcgregor.pl -------------------------------------------------------------------------------- /examples/pebbling.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/pebbling.pl -------------------------------------------------------------------------------- /examples/pigeon.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/pigeon.pl -------------------------------------------------------------------------------- /examples/queens.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/queens.pl -------------------------------------------------------------------------------- /examples/ramsey.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/ramsey.pl -------------------------------------------------------------------------------- /examples/schur.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/schur.pl -------------------------------------------------------------------------------- /examples/schur.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/schur.txt -------------------------------------------------------------------------------- /examples/sudoku.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/sudoku.pl -------------------------------------------------------------------------------- /examples/tablea.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/tablea.pl -------------------------------------------------------------------------------- /examples/tableb.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/tableb.pl -------------------------------------------------------------------------------- /examples/tablec.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/tablec.pl -------------------------------------------------------------------------------- /examples/tseitin.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/tseitin.pl -------------------------------------------------------------------------------- /examples/unsat.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/unsat.pl -------------------------------------------------------------------------------- /examples/vdw.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/examples/vdw.pl -------------------------------------------------------------------------------- /learnsat.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/learnsat.bib -------------------------------------------------------------------------------- /paper.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/paper.md -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/readme.md -------------------------------------------------------------------------------- /src/auxpred.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/auxpred.pl -------------------------------------------------------------------------------- /src/cdcl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/cdcl.pl -------------------------------------------------------------------------------- /src/config.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/config.pl -------------------------------------------------------------------------------- /src/counters.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/counters.pl -------------------------------------------------------------------------------- /src/dimacs-test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/dimacs-test.pl -------------------------------------------------------------------------------- /src/dimacs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/dimacs.pl -------------------------------------------------------------------------------- /src/display.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/display.pl -------------------------------------------------------------------------------- /src/dot.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/dot.pl -------------------------------------------------------------------------------- /src/dpll.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/dpll.pl -------------------------------------------------------------------------------- /src/io.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/io.pl -------------------------------------------------------------------------------- /src/modes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/modes.pl -------------------------------------------------------------------------------- /src/ops.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/motib/LearnSAT/HEAD/src/ops.pl --------------------------------------------------------------------------------