Project

General

Profile

« Previous | Next » 

Revision 371cb823

ID371cb823ca3c6a87d0fda717f25741f04d973e06
Parent bbd5d2db
Child 5f1ec830

Added by Hans-Peter Deifel 9 months ago

Perform sat propagation in debugger step

Otherwise, the debugger would report the reasoner result to be "Sat"
when it should really be "Unsat".

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences