Labels

• bug

  Something isn't working
• do not merge
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• ForTheRecord

  Something commented, want to keep for the record
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• incrementality

  Issue with incremental solving involving pushes and pops
• invalid

  This doesn't seem right
• investigate

  Suspicious or improper behaviour that needs to be investigates
• performance

  Issue related to performance of OpenSMT
• priority:high

  High priority issue
• priority:low

  Low priority issue
• priority:medium

  Medium (normal) priority issue
• QF_LIA

  Related to solving in QF_LIA logic
• question

  Further information is requested
• ready for review

  PR is developed and ready for review
• refactor
• wip

  work in progress, review is not needed yet
• wontfix

  This will not be worked on