]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 666a228) | patch
Encoding of SAT problems and 3-colorability of graphs
authoracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 13:31:50 +0000 (15:31 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 13:31:50 +0000 (15:31 +0200)
commit48099a8d17ed96681087fa7e7c507dc2ec209125
treeef05c220d3938cf3aa00d365941efd7e3c3bb4eatree | snapshot
parent666a228779e465d08a0deea2e35c0cccf5722b40commit | diff
Encoding of SAT problems and 3-colorability of graphs
ocaml/Makefile diff | blob | history
ocaml/sat.ml [new file with mode: 0644] blob
ocaml/sat.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.