Soft Constraints in dreal

Question

Closed this issue 3 years ago · 4 comments

Hi, Is there a way to enforce soft constraints in dreal, hopefully in the python bindings?

Answer 1 · 2021-08-18T18:24:43.000Z

It does not support soft constraints for now.

Answer 2 · 2021-08-24T17:43:22.000Z

Thank You. One more question, does it support the extraction of unsat cores?

Answer 3 · 2021-08-24T17:44:35.000Z

Nope it doesn't do that right now.

Answer 4 · 2022-06-01T11:54:49.000Z

Hello, reviving this thread again. Is there any plan for having support for soft constraints or unsat cores in the future?