alt-ergo

Alt-Ergo, an SMT Solver for Software Verification
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

altErgoLib

Documentation: