Code

Add support for QF_SNIA#144

Code

Merged

jurajsic merged 5 commits intodevelVeriFIT/z3-noodler:develfrom sniaVeriFIT/z3-noodler:sniaCopy head branch name to clipboardMay 16, 2024

Commits

Commits on May 15, 2024

• add support for QF_SNIA

  jurajsic

  committed
  85a71f9

  Copy full SHA for 85a71f9

• set m_nonlinear parameter to true for QF_SNIA

  jurajsic

  committed
  f552b5f

  Copy full SHA for f552b5f

Commits on May 16, 2024

• disable theories and options which are not needed

  jurajsic

  committed
  b7b8ad5

  Copy full SHA for b7b8ad5

• better registering of noodler solver

  jurajsic

  committed
  b1e4b6c

  Copy full SHA for b1e4b6c

• fix slia->snia

  jurajsic

  committed
  dbd7a2a

  Copy full SHA for dbd7a2a