Project

General

Profile

« Previous | Next » 

Revision b6653b96

IDb6653b966be1122bb469242f857f8623ab909248
Parent bc706b79
Child 0d6818bb

Added by Hans-Peter Deifel 8 months ago

Don't hardcode check for aconjunctive formulas

Previously, cool would simply raise an exception if the formula was
not aconjunctive. This was done to ease testing of the new reasoner
algorithm.

Now, the reasoner decides whether the formula is aconjunctive or not
and uses a specific algorithm based on the result.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences