Logic

Just playing around with Logic and boolean minimization for now...

This code is in OCaml.  Now we use ocamlbuild to compile:

ocamlbuild -use-ocamlfind test_logic.native -classic-display

Dependencies: 
oUnit
deriving-ocsigen (see: https://github.com/hnrgrgr/deriving )
deriving-ocsigen.syntax       "