Interface methods

Header: bill/sat/interface/common.hpp

template<solvers Solver = solvers::ghack>
class solver

Solver interface.

Interface method
Modifiers
restart
Constraining
add_variable
add_clause
Solving
solve
Extracting results
get_result
get_model
get_core
Properties
num_variables
num_clauses
Stack of solver state
push
pop
Randomization
set_random_phase