OCaml Forge

File Release Notes and Changelog

Release Name: 0.4

Change Log

- sch2cnf supports DIMACS - Vim syntax file