package libabsolute

  1. Overview
  2. Docs

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
OCaml

Innovation. Community. Security.