simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix sign error

Browse source
This commit is contained in:
Simon Cruanes 2023-06-26 00:40:31 -04:00
parent 0841e0e767
commit 5d07d456dc
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/th-lra/sidekick_th_lra.ml
View file

@ -411,7 +411,7 @@ module Make (A : ARG) = (* : S with module A = A *) struct
else ( else (
let le_comb_minus_t = let le_comb_minus_t =
var_encoding_comb ~pre:"diff_def" self var_encoding_comb ~pre:"diff_def" self
LE_.Comb.(le_comb - monomial1 box_t) LE_.Comb.(monomial1 box_t - le_comb)
in in
SimpSolver.add_constraint self.simplex SimpSolver.add_constraint self.simplex
(SimpSolver.Constraint.geq le_comb_minus_t le_const) Tag.By_def (SimpSolver.Constraint.geq le_comb_minus_t le_const) Tag.By_def