libabsolute 0.1

Libraries

This package provides the following libraries (via ocamlobjinfo):

libabsolute

Documentation:

• Libabsolute Libabsolute is a constraint solving library based on abstract domains