Labels

• area:arithmetic

  area:arithmetic

  Simplex / LIA / Rational / Float

• area:bitvector

  area:bitvector

  QF_BV theory

• area:build

  area:build

  Build / deps / docs

• area:nra

  area:nra

  QF_NRA / CAD

• area:parser

  area:parser

  Parsers / lexers / CLI

• area:sat

  area:sat

  SAT core (DPLL/CDCL)

• area:smt-core

  area:smt-core

  Lazy SMT loop / SAT-theory interface

• area:testing

  area:testing

  Tests

• bug

  bug

  Something isn't working

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• infrastructure

  infrastructure

  Tooling / validation infrastructure

• invalid

  invalid

  This doesn't seem right

• question

  question

  Further information is requested

• severity:critical

  severity:critical

  Unsoundness / crash on valid input

• severity:high

  severity:high

  Wrong results on edge cases / severe issues

• severity:low

  severity:low

  Style / minor cleanup

• severity:medium

  severity:medium

  Significant smell / missing handling

• soundness

  soundness

  Can produce a wrong SAT/UNSAT verdict

• wontfix

  wontfix

  This will not be worked on