Project

General

Profile

« Previous | Next » 

Revision 6aa0e444

ID6aa0e444937dd8b9088ef16cf7c4a696ce9d283b
Parent e0906550
Child 0debe698

Added by Christoph Egger over 1 year ago

Only deallocate solver for unsat nodes

We want to still have the solver for naive unsat propagation

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences