Project

General

Profile

« Previous | Next » 

Revision 0d6818bb

ID0d6818bbeaedd0bb0f7d560de3de2060c53c5ea6
Parent b6653b96
Child 4a20854e

Added by Hans-Peter Deifel 8 months ago

tests: Add example where new Algorithm should fail

This formula is not aconjunctive and should be wrongly declared as
satisfiable by the algorithm that assumes aconjunctivity.

This doesn't work right now: The new algorithm also answers with
"unsat".

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences