libzipperposition

Library for Zipperposition
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

libzipperposition

Documentation:

Dependencies: containers, zarith, msat, logtk, logtk.proofs, logtk.parsers, str

libzipperposition.calculi

Documentation:

Dependencies: libzipperposition

libzipperposition.phases

Documentation: Libzipperposition_phases

Dependencies: libzipperposition, libzipperposition.calculi