Header: bill/sat/interface/common.hpp
.. doxygenclass:: bill::solver :members:
| 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 |