yices2

Yices2 SMT solver binding
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

yices2

Documentation: