Repository navigation

Bound the MILP FiveTuple rescaling by the encoded depth (#65) - #106

Closed

jkhav wants to merge 4 commits into

fix/65-rescaling-boundfrom

fix/65-milp-rescaling

Closed

Bound the MILP FiveTuple rescaling by the encoded depth (#65)#106
jkhav wants to merge 4 commits into
fix/65-rescaling-boundfrom
fix/65-milp-rescaling

Commits on Oct 14, 2026
- fix: bound the FiveTuple rescaling by the depth, not by the input's max_k
  
  ondrik
  and
  claude
  committed
  9eec3f5
- fix: reject a non-integral FiveTuple k in vector pairs
  
  ondrik
  and
  claude
  committed
  18e94ba
Commits on Oct 17, 2026
- fix: integral_k check before synthesis even begins -- crashed pysmt before
  jkhav
  committed
  f269ec7
- fix: bound the MILP FiveTuple rescaling by the encoded depth (#65)
  jkhav
  committed
  0133d27