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, unix, mtime, mtime.clock.os, logtk.arith

logtk.arith

Documentation: Logtk_arith

Dependencies: zarith

logtk.parsers

Documentation:

Dependencies: containers, logtk, logtk.arith

logtk.proofs

Documentation:

Dependencies: containers, logtk, logtk.arith

logtk.solving

Documentation:

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