[−][src]Module splr::eliminator
Crate eliminator implments clause subsumption and var elimination.
Structs
| Eliminator | Literal eliminator |
| VarOccHeap | Var heap structure based on the number of occurrences |
Traits
| EliminatorIF | API for Eliminator like |