Code

Optimizations for hard equations#103

Code

Merged

vhavlena merged 8 commits intodevelVeriFIT/z3-noodler:develfrom hard-eqs-optVeriFIT/z3-noodler:hard-eqs-optCopy head branch name to clipboardNov 24, 2023

Commits

Commits on Nov 15, 2023

• preprocess: split equations fix for general equations

  vhavlena

  committed
  9233070

  Copy full SHA for 9233070

• nielsen: early termination for sat instances

  vhavlena

  committed
  7d0b33f

  Copy full SHA for 7d0b33f

• nielsen: handling general eqs

  vhavlena

  committed
  12386b2

  Copy full SHA for 12386b2

• nielsen: both side trimming; length unsat

  vhavlena

  committed
  d16743f

  Copy full SHA for d16743f

• trim: fixing the right trim

  vhavlena

  committed
  1d5a127

  Copy full SHA for 1d5a127

• length SAT heuristics

  vhavlena

  committed
  036b2ef

  Copy full SHA for 036b2ef

• run_length_sat: wrapper

  vhavlena

  committed
  3d46a25

  Copy full SHA for 3d46a25

Commits on Nov 23, 2023

• is_length_unsat: comment fix

  vhavlena

  committed
  39b815d

  Copy full SHA for 39b815d