Method List
-
#add RicoSAT
-
#added_original_clauses RicoSAT
-
#assume RicoSAT
-
#coreclause RicoSAT
-
#corelit RicoSAT
-
#deref RicoSAT
-
#enable_trace_generation RicoSAT
-
#failed_assumption RicoSAT
-
#failed_assumptions RicoSAT
-
#global_default_phase= RicoSAT
-
#inc_max_var RicoSAT
-
#less_important RicoSAT
-
#measure_all_calls RicoSAT
-
#more_important RicoSAT
-
#set_default_phase RicoSAT
-
#solve RicoSAT
-
#variables RicoSAT
-
#verbosity= RicoSAT
-
#write_extended_trace RicoSAT