Rust native FFI for the IPASIR interface for incremental SAT solvers.
Visit the IPASIR manual here.
IPASIR FFI solver and C bindings.
A clause from the IPASIR solver.
Encountered when trying to create a literal with an invalid value.
A literal of the IPASIR implementing solver.
Iterator over the literals of a clause.
An error encountered at some solver calls.
A variable of the IPASIR implementing solver.
The assignment of a literal.
An error encountered when using an FII IPASIR solver that returned an invalid response value.
The polarity of a literal.
Tells the solver to either stop solving process or continue.
Possible responses from a call to
A kind of a SAT solver error.
The IPASIR interface a SAT solver has to implement to be conforming.
Type alias that has a