logicng::solver

Module minisat

Source
Expand description

MiniSAT implementation.

Modules§

sat
Internal solver implementation of MiniSAT 2.

Structs§

MiniSat
Wrapper for the MiniSAT-style SAT solvers.
MiniSatConfig
Configuration for MiniSat solver.
SatBuilder
A builder which can be used in addition to MiniSat with MiniSat::sat_with(). It allows you to feed the solver with assumptions and a selection order.
SolverState
Represents a state of a SAT-Solver.

Enums§

SolverCnfMethod
The different methods for generating a CNF for a formula to put on the solver.