Method List
-
#active CaDiCaL
-
#add CaDiCaL
-
#assume CaDiCaL
-
#close_proof CaDiCaL
-
#conclude CaDiCaL
-
#constrain CaDiCaL
-
#constraint_failed? CaDiCaL
-
#declare_more_variables CaDiCaL
-
#declare_one_more_variable CaDiCaL
-
#failed CaDiCaL
-
#false_var CaDiCaL
-
#fixed CaDiCaL
-
#freeze_lit CaDiCaL
-
#frozen_lit? CaDiCaL
-
#get_option CaDiCaL
-
#irredundant CaDiCaL
-
#limit CaDiCaL
-
#melt_lit CaDiCaL
-
#phase CaDiCaL
-
#release CaDiCaL
-
#set_learn CaDiCaL
-
#set_option CaDiCaL
-
#set_terminate CaDiCaL
-
signature CaDiCaL
-
#simplify CaDiCaL
-
#solve CaDiCaL
-
#terminate CaDiCaL
-
#trace_proof CaDiCaL
-
#true? CaDiCaL
-
#true_var CaDiCaL
-
#unphase CaDiCaL
-
#val CaDiCaL
-
#vars CaDiCaL