[−][src]Crate ipasir

Rust native FFI for the IPASIR interface for incremental SAT solvers.

Visit the IPASIR manual here.

Modules

ffi	IPASIR FFI solver and C bindings.

Clause	A clause from the IPASIR solver.
InvalidLitVal	Encountered when trying to create a literal with an invalid value.
Lit	A literal of the IPASIR implementing solver.
LitIter	Iterator over the literals of a clause.
SolverError	An error encountered at some solver calls.
Var	A variable of the IPASIR implementing solver.

LitValue	The assignment of a literal.
ResponseError	An error encountered when using an FII IPASIR solver that returned an invalid response value.
Sign	The polarity of a literal.
SolveControl	Tells the solver to either stop solving process or continue.
SolveResponse	Possible responses from a call to `ipasir_solve`.
SolverErrorKind	A kind of a SAT solver error.

The IPASIR interface a SAT solver has to implement to be conforming.

Type alias that has a SolverError as error variant.