[−][src]Module varisat_checker::rup
Reverse unit propagation redundancy checks.
Structs
| RupCheck | |
| TraceItem | Propagation of the RUP check. |
Functions
| check_clause_with_hashes | Check whether a clause is implied by clauses of the given hashes. |
Reverse unit propagation redundancy checks.
| RupCheck | |
| TraceItem | Propagation of the RUP check. |
| check_clause_with_hashes | Check whether a clause is implied by clauses of the given hashes. |