Project

General

Profile

« Previous | Next » 

Revision 07a36b24

ID07a36b245a68231705a6f92c13a00196ccde7c25
Parent 67b07e54
Child 46cd6856

Added by Christoph Egger over 3 years ago

Reorganize code, start from Sat nodes as well

Not only finishing cycles but also plain sat nodes may cause a node to
be satisfiable

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences