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