Try to solve after substitution
add some tests
parent
232dc920
No related branches found
No related tags found
Showing
- src_colibri2/tests/solve/all/sat/div_abs.smt2 11 additions, 0 deletionssrc_colibri2/tests/solve/all/sat/div_abs.smt2
- src_colibri2/tests/solve/all/sat/div_abs2.smt2 9 additions, 0 deletionssrc_colibri2/tests/solve/all/sat/div_abs2.smt2
- src_colibri2/tests/solve/all/sat/dune 13 additions, 0 deletionssrc_colibri2/tests/solve/all/sat/dune
- src_colibri2/tests/solve/all/sat/dune.inc 6 additions, 0 deletionssrc_colibri2/tests/solve/all/sat/dune.inc
- src_colibri2/tests/solve/all/unsat/div_abs.smt2 11 additions, 0 deletionssrc_colibri2/tests/solve/all/unsat/div_abs.smt2
- src_colibri2/tests/solve/all/unsat/dune.inc 6 additions, 0 deletionssrc_colibri2/tests/solve/all/unsat/dune.inc
- src_colibri2/tests/solve/all/unsat/mul_abs.smt2 8 additions, 0 deletionssrc_colibri2/tests/solve/all/unsat/mul_abs.smt2
- src_colibri2/theories/LRA/dom_product.ml 32 additions, 13 deletionssrc_colibri2/theories/LRA/dom_product.ml
- src_colibri2/theories/LRA/pivot.ml 66 additions, 35 deletionssrc_colibri2/theories/LRA/pivot.ml
- src_colibri2/theories/LRA/pivot.mli 1 addition, 1 deletionsrc_colibri2/theories/LRA/pivot.mli
Loading
Please register or sign in to comment