z3

Z3 solver
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

z3ml

Documentation: