Project

General

Profile

« Previous | Next » 

Revision b36e57bc

IDb36e57bcf10aed57d5ec8dfcc3069895e4c74ceb
Parent c68a1021
Child 69243f7f

Added by Thorsten WiƟmann about 5 years ago

Remove Disjunctive ruleEnumerations

Propagation of satisfiability and unsatisfiability does not cover
disjunctions and I don't get how propagation works, so I won't touch it
yet. So this reverts the only partially implemented Disjunctive
ruleEnumerations,

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences