Project

General

Profile

« Previous | Next » 

Revision bc706b79

IDbc706b7969ff72c0ee459d1c65f4d56daf4e3c7d
Parent e7aaefa9
Child b6653b96

Added by Hans-Peter Deifel 9 months ago

Add test cases for aconjunctive fragment

This fails currently, because the check for aconjunctivity is
currently hard coded, ruling out all formulas that aren't
aconjunctive.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences