Added problems encoded from 3-colorability of graphs

diff --git a/ocaml/problems/3col b/ocaml/problems/3col
new file mode 100644 (file)
index 0000000..df0045e
--- /dev/null
+++ b/ocaml/problems/3col
@@ -0,0 +1,25 @@
+\r
+$! 3col: 0<>1\r
+C x (_.x y BOMB BOMB y y y b) (_.x BOMB y BOMB y y y b) (_.x BOMB BOMB y y y y b) BOMB BOMB BOMB a\r
+C x y y y (_.x BOMB y y y BOMB BOMB b) (_.x y BOMB y BOMB y BOMB b) (_.x y y BOMB BOMB BOMB y b) a\r
+D x y y y y y y a\r
+C x z z z BOMB BOMB BOMB BOMB\r
+C x y y y z z z BOMB\r
+\r
+$? 3col: 0<>1 1<>1\r
+C x (_.x y BOMB BOMB y y y b) (_.x BOMB y BOMB y y y b) (_.x BOMB BOMB y y y y b) BOMB BOMB BOMB a\r
+C x y y y (_.x BOMB y y BOMB BOMB BOMB b) (_.x y BOMB y BOMB BOMB BOMB b) (_.x y y BOMB BOMB BOMB BOMB b) a\r
+D x y y y y y y a\r
+C x z z z BOMB BOMB BOMB BOMB\r
+C x y y y z z z BOMB\r
+\r
+$? 3col: 0<>1<>2 0<>3 1<>3 2<>3\r
+C x (_.x y BOMB BOMB y y y y y y y y y b) (_.x BOMB y BOMB y y y y y y y y y b) (_.x BOMB BOMB y y y y y y y y y y b) BOMB BOMB BOMB BOMB BOMB BOMB BOMB BOMB BOMB a\r
+C x y y y (_.x BOMB y y y BOMB BOMB y y y y y y b) (_.x y BOMB y BOMB y BOMB y y y y y y b) (_.x y y BOMB BOMB BOMB y y y y y y y b) BOMB BOMB BOMB BOMB BOMB BOMB a\r
+C x y y y y y y (_.x BOMB y y BOMB y y y BOMB BOMB y y y b) (_.x y BOMB y y BOMB y BOMB y BOMB y y y b) (_.x y y BOMB y y BOMB BOMB BOMB y y y y b) BOMB BOMB BOMB a\r
+C x y y y y y y y y y (_.x BOMB y y BOMB y y BOMB y y y BOMB BOMB b) (_.x y BOMB y y BOMB y y BOMB y BOMB y BOMB b) (_.x y y BOMB y y BOMB y y BOMB BOMB BOMB y b) a\r
+D x y y y y y y y y y y y y a\r
+C x z z z BOMB BOMB BOMB BOMB BOMB BOMB BOMB BOMB BOMB BOMB\r
+C x y y y z z z BOMB BOMB BOMB BOMB BOMB BOMB BOMB\r
+C x y y y y y y z z z BOMB BOMB BOMB BOMB\r
+C x y y y y y y y y y z z z BOMB\r