OCaml Forge

File Release Notes and Changelog

Release Name: 1.3

Change Log

- MUCH improved efficiency. Example adder4 now runs in less than 2s on my computer.
- Fixed a bug in sch2cnf