description = "Alt-Ergo: An SMT Solver for Software Verification >> Library files"
version = "2.2.0"
archive(byte) = "altErgoLib.cma"
archive(native) = "altErgoLib.cmxa"
archive(native, plugin) = "altErgoLib.cmxs"
archive(byte, plugin) = "altErgoLib.cma"
requires = "num zip zarith ocplib-simplex psmt2-frontend"
exists_if = "altErgoLib.cma"
