initial commit
gitignore
fix Tseitin CNF conversion;
more combinators to build formulas;
Smt.eval function to extract the propositional model
META file
allow to build Or[], returning false
fix makefiles ocamlfind-install target
Replaced old makefile (we use ocamlbuild now).
Added .merlin (still may needs some work though).
Fixed some warning of deprecated use of 'Pervasives.or'
Merge branch 'master' of github.com:Gbury/mSAT