Crate ipasir [−] [src]
Modules
| callbacks |
The forwarding callbacks for IPASIR. |
| raw |
The raw IPASIR functions. |
Structs
| Clause |
Represents a clause of the incremental solver. |
| EndOfClause |
Represents the end of a clause. |
| Lit |
A literal of the IPASIR implementing solver. |
| LitOrEnd |
Represents a literal or the end of a clause. |
| Solver |
The incremental solver implementing the IPASIR interface. |
Enums
| Error |
An error that can be encountered while using the IPASIR interface. |
| SolveResult |
All viable return values of |
| ValResult |
The assignment of a given literal. |
Type Definitions
| Result |
The IPASIR result type. |