simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-05-05 08:54:24 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • c6d970a4d0 Initial commit Guillaume Bury 2014-10-29 13:37:48 +01:00
  • ed037a4aab Replaced old makefile (we use ocamlbuild now). Added .merlin (still may needs some work though). Fixed some warning of deprecated use of 'Pervasives.or' Guillaume Bury 2014-10-29 12:41:24 +01:00
  • 5ddf970009 fix makefiles ocamlfind-install target Simon Cruanes 2014-06-26 14:36:15 +02:00
  • 05f8d0d873 allow to build Or[], returning false Simon Cruanes 2014-03-06 17:35:24 +01:00
  • d81b6bd2bc META file Simon Cruanes 2014-03-06 11:10:06 +01:00
  • c2d379de10 fix Tseitin CNF conversion; more combinators to build formulas; Smt.eval function to extract the propositional model Simon Cruanes 2014-03-06 10:53:56 +01:00
  • ed33ff6b33 gitignore Simon Cruanes 2014-03-06 10:53:10 +01:00
  • d7f09c9791 initial commit Simon Cruanes 2014-03-06 10:45:04 +01:00