[][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.

Structs

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.

Enums

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.

Traits

IpasirSolver

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

Type Definitions

Result

Type alias that has a SolverError as error variant.