Labels

• alt-ergo

  alt-ergo

• bitwuzla

  bitwuzla

• breaking

  breaking

• colibri2

  colibri2

• cvc5

  cvc5

• dependencies

  dependencies

  Pull requests that update a dependency file

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• piority: low

  piority: low

• piority: medium

  piority: medium

• priority: critical

  priority: critical

• state: approved

  state: approved

• state: blocked

  state: blocked

• state: inactive

  state: inactive

• state: pending

  state: pending

• type: bug

  type: bug

• type: chore

  type: chore

• type: discussion

  type: discussion

• type: docs

  type: docs

• type: feature

  type: feature

• type: fix

  type: fix

• type: testing

  type: testing

• work: chaotic

  work: chaotic

• work: complex

  work: complex

• work: complicated

  work: complicated

• work: obvious

  work: obvious

• z3

  z3