[−][src]Module minisat::sys

The FFI interface to MiniSat (imported from minisat-c-bindings).

Functions

minisat_addClause ^⚠
minisat_addClause_addLit ^⚠
minisat_addClause_begin ^⚠
minisat_addClause_commit ^⚠
minisat_clearInterrupt ^⚠
minisat_conflict_len ^⚠
minisat_conflict_nthLit ^⚠
minisat_delete ^⚠
minisat_eliminate ^⚠
minisat_get_l_False ^⚠
minisat_get_l_True ^⚠
minisat_get_l_Undef ^⚠
minisat_interrupt ^⚠
minisat_isEliminated ^⚠
minisat_limited_solve ^⚠
minisat_limited_solve_commit ^⚠
minisat_mkLit ^⚠
minisat_mkLit_args ^⚠
minisat_modelValue_Lit ^⚠
minisat_modelValue_Var ^⚠
minisat_negate ^⚠
minisat_new ^⚠
minisat_newLit ^⚠
minisat_newVar ^⚠
minisat_no_budget ^⚠
minisat_num_assigns ^⚠
minisat_num_clauses ^⚠
minisat_num_conflicts ^⚠
minisat_num_decisions ^⚠
minisat_num_freeVars ^⚠
minisat_num_learnts ^⚠
minisat_num_propagations ^⚠
minisat_num_restarts ^⚠
minisat_num_vars ^⚠
minisat_okay ^⚠
minisat_setDecisionVar ^⚠
minisat_setFrozen ^⚠
minisat_setPolarity ^⚠
minisat_set_conf_budget ^⚠
minisat_set_prop_budget ^⚠
minisat_set_verbosity ^⚠
minisat_sign ^⚠
minisat_simplify ^⚠
minisat_solve ^⚠
minisat_solve_addLit ^⚠
minisat_solve_begin ^⚠
minisat_solve_commit ^⚠
minisat_value_Lit ^⚠
minisat_value_Var ^⚠
minisat_var ^⚠