Labels

• API
• Basicimpl
• Bitwuzla
• Blocked by Solver Support

  solver does not yet support this feature OR there was not yet any public release of the solver
• bug
• Build
• CVC4
• CVC5
• dependencies

  Pull requests that update a dependency file
• Documentation
• duplicate
• enhancement
• help wanted
• invalid
• MathSAT
• Maven
• model
• OpenSMT2
• Princess
• question
• regression

  an existing feature or functionality does no longer work as expected
• SMTInterpol
• SMTLIB2
• solver
• wontfix
• Yices2
• Z3
• Z3Legacy

  Old Z3 version with interpolation support