Added original files created in Urspring
Moved ocaml/heuristic to Solver/heuristic
Moved Solver/COPYRIGHT to COPYRIGHT
+: COPYRIGHT
+: Solver/Makefile
+: Solver/check_all
+: Solver/check_time
+: Solver/check_uf.py
+: Solver/data.ml
+: Solver/foo.cnf
+: Solver/heuristic/mom.ml
+: Solver/input.txt
+: Solver/io.ml
+: Solver/main.ml
+: Solver/make_main.bat
+: Solver/options.ml
+: Solver/select.ml
+: Solver/test_up.ml
+: Solver/up.ml