Project

General

Profile

« Previous | Next » 

Revision 67b07e54

ID67b07e541336581e11f3f2eb01b793d800a86268
Parent 1d5d9896
Child 07a36b24

Added by Christoph Egger over 3 years ago

Restrict finishing nodes used as startingpoint

Only finishing nodes with enough Open / Sat children are to be
considered as startingpoints

Also accept already Satisfiable nodes when finding paths

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences