OCamlPro/opam-repository — pull request #672 by c-cube (2013-04-25 13:04:31+00:00)
Title: alt-ergo-zero 0.3

Hello,

I packaged Alt-ergo zero, a lightweight SMT solver library by Sylvain Conchon. Please note that I am not the maintainer (I asked him if he was ok before). A patch is used to add a META file, since there was none.

Cheers!