Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Make_cdcl_t
Heap
msat-bin
iter
instead of sequence
in dune and opam filesbig refactoring, change of API with fewer functions, etc. see git log
for more details.
full_slice
function for running possibly expensive satisfiability tests (in SMT) when a propositional model has been foundif_sat
interfaceadd_clause