logtk

Core types and algorithms for logic
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

logtk

Documentation:

Dependencies: containers, containers.data, iter, oseq, zarith, unix

logtk.parsers

Documentation:

Dependencies: containers, logtk

logtk.proofs

Documentation:

Dependencies: containers, logtk

logtk.solving

Documentation:

Dependencies: containers, logtk, msat, msat.tseitin, iter