[Simplex] Don't create new terms only add propagations
Showing
- src_colibri2/bin/main.ml 3 additions, 0 deletionssrc_colibri2/bin/main.ml
- src_colibri2/solver/scheduler.ml 16 additions, 3 deletionssrc_colibri2/solver/scheduler.ml
- src_colibri2/tests/solve/all/unsat/dune.inc 3 additions, 0 deletionssrc_colibri2/tests/solve/all/unsat/dune.inc
- src_colibri2/tests/solve/all/unsat/work_with_fourier_not_simplex2.psmt2 634 additions, 0 deletions...ests/solve/all/unsat/work_with_fourier_not_simplex2.psmt2
- src_colibri2/theories/LRA/LRA.ml 1 addition, 1 deletionsrc_colibri2/theories/LRA/LRA.ml
- src_colibri2/theories/LRA/LRA_build.ml 108 additions, 106 deletionssrc_colibri2/theories/LRA/LRA_build.ml
- src_colibri2/theories/LRA/dom_interval.ml 108 additions, 96 deletionssrc_colibri2/theories/LRA/dom_interval.ml
- src_colibri2/theories/LRA/dom_interval.mli 12 additions, 0 deletionssrc_colibri2/theories/LRA/dom_interval.mli
- src_colibri2/theories/LRA/dom_polynome.ml 12 additions, 13 deletionssrc_colibri2/theories/LRA/dom_polynome.ml
- src_colibri2/theories/LRA/dom_polynome.mli 1 addition, 1 deletionsrc_colibri2/theories/LRA/dom_polynome.mli
- src_colibri2/theories/LRA/dom_product.ml 9 additions, 10 deletionssrc_colibri2/theories/LRA/dom_product.ml
- src_colibri2/theories/LRA/dom_product.mli 3 additions, 0 deletionssrc_colibri2/theories/LRA/dom_product.mli
- src_colibri2/theories/LRA/polynome.ml 105 additions, 98 deletionssrc_colibri2/theories/LRA/polynome.ml
- src_colibri2/theories/LRA/simplex.ml 30 additions, 18 deletionssrc_colibri2/theories/LRA/simplex.ml
- src_colibri2/theories/bool/boolean.ml 1 addition, 1 deletionsrc_colibri2/theories/bool/boolean.ml
- src_common/union/why3session.xml 37 additions, 37 deletionssrc_common/union/why3session.xml
Loading
Please register or sign in to comment