v0.3

Gbury released this 23 Apr 18:38

· 416 commits to master since this release

New release, containing mainly bug fixes, but also with:

Proofs for atoms at level 0
Compatibility with ocaml >= 4.00
Released some restrictions on dummy sat theories

Assets 2