pysat Trying to set incremental mode, but not compiled properly for this.

Trying to set incremental mode, but not compiled properly for this.

Open egolf-cs opened this issue 6 months ago • 2 comments

I get the error Trying to set incremental mode, but not compiled properly for this. when trying to instantiate Solver(name="g42", incr=True)

How can I recompile the appropriate component to support incremental mode?

Aug 01 '24 17:08 egolf-cs