[−][src]Module splr::eliminator
Pre/In-processor for clause subsumption and variable elimination
Structs
Eliminator | Literal eliminator |
VarOccHeap | Var heap structure based on the number of occurrences |
Pre/In-processor for clause subsumption and variable elimination
Eliminator | Literal eliminator |
VarOccHeap | Var heap structure based on the number of occurrences |