[−][src]Module varisat::prop::long
Propagation of long clauses.
Functions
propagate_long | Propagate all literals implied by long clauses watched by the given literal. |
Propagation of long clauses.
propagate_long | Propagate all literals implied by long clauses watched by the given literal. |