Project

General

Profile

« Previous | Next » 

Revision f5e17a6b

IDf5e17a6bbd7f332620934df8f5bb9720dc0876b8
Parent a5642329
Child a1e7b9b7

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