This repository has been archived by the owner on Nov 26, 2023. It is now read-only.
Open
Description
Hello!
I saw here that Z3 supports having hard and soft constraints using assert-soft. However, I'm wondering if you know how I can use the python API to do that?
Cheers,
Varun
Metadata
Assignees
Labels
No labels