[][src]Crate splr

This is a SAT solver in Rust.

Modules

clause

Clause structure

config

Parameters used for Solver initialization

eliminator

Pre/In-processor for clause subsumption and variable elimination

propagator

Assignment management

restart

Solver restart implementation

solver

The main structure

state

Collection of various data and parameters for SAT solving process

traits

Interfaces between submodules

types

Plumping layer Basic types

validator

validates a given assignment for a problem.

var

Var structure