[−][src]Module varisat::prop::binary
Propagation of binary clauses.
Functions
propagate_binary | Propagate all literals implied by the given literal via binary clauses. |
Propagation of binary clauses.
propagate_binary | Propagate all literals implied by the given literal via binary clauses. |