[][src]Crate solhop_types

Common types used in SolHOP.

Modules

dimacs

Dimacs module

Structs

Clause

A Clause.

Lit

A literal.

Var

A variable.

Enums

LBool

A Lifted boolean.

Solution

Solution to the SAT Formula.

Constants

UNDEF_LIT

Placeholder Lit