Crate logicrs 

Modules

dimacs

fol

satif

simplify

simulate

Structs

BVA

Cnf

CstDagCnf

DagCnf

Lbool

LboolVec

Lit

LitMap

LitOrdVec

LitSet

LitVec

LitVvec

SymbolAssign

Var

VarAssign

VarBitVec

VarLMap

VarMap

VarRef

VarRefIter

VarSet

VarSymbols

VarVMap

Functions

lemmas_subsume_simplify