Propagate distances between nodes that are between -1 < . < 1
parent
89966f28
No related branches found
No related tags found
Showing
- src_colibri2/core/colibri2_core.mli 5 additions, 1 deletionsrc_colibri2/core/colibri2_core.mli
- src_colibri2/core/egraph.ml 4 additions, 4 deletionssrc_colibri2/core/egraph.ml
- src_colibri2/core/ground.ml 1 addition, 2 deletionssrc_colibri2/core/ground.ml
- src_colibri2/core/interp.ml 6 additions, 3 deletionssrc_colibri2/core/interp.ml
- src_colibri2/popop_lib/debug.ml 14 additions, 2 deletionssrc_colibri2/popop_lib/debug.ml
- src_colibri2/popop_lib/debug.mli 4 additions, 1 deletionsrc_colibri2/popop_lib/debug.mli
- src_colibri2/popop_lib/exthtbl.ml 28 additions, 0 deletionssrc_colibri2/popop_lib/exthtbl.ml
- src_colibri2/popop_lib/exthtbl.mli 8 additions, 2 deletionssrc_colibri2/popop_lib/exthtbl.mli
- src_colibri2/popop_lib/unit.ml 4 additions, 0 deletionssrc_colibri2/popop_lib/unit.ml
- src_colibri2/solver/scheduler.ml 12 additions, 10 deletionssrc_colibri2/solver/scheduler.ml
- src_colibri2/tests/solve/all/unsat/ordered_is_ordered.psmt2 1 addition, 1 deletionsrc_colibri2/tests/solve/all/unsat/ordered_is_ordered.psmt2
- src_colibri2/theories/LRA/LRA.ml 1 addition, 126 deletionssrc_colibri2/theories/LRA/LRA.ml
- src_colibri2/theories/LRA/LRA_build.ml 144 additions, 0 deletionssrc_colibri2/theories/LRA/LRA_build.ml
- src_colibri2/theories/LRA/dom_interval.ml 1 addition, 1 deletionsrc_colibri2/theories/LRA/dom_interval.ml
- src_colibri2/theories/LRA/fourier.ml 17 additions, 10 deletionssrc_colibri2/theories/LRA/fourier.ml
- src_colibri2/theories/LRA/polynome.ml 32 additions, 21 deletionssrc_colibri2/theories/LRA/polynome.ml
- src_colibri2/theories/LRA/polynome.mli 4 additions, 0 deletionssrc_colibri2/theories/LRA/polynome.mli
- src_colibri2/theories/LRA/simplex.ml 329 additions, 281 deletionssrc_colibri2/theories/LRA/simplex.ml
- src_colibri2/theories/LRA/stages/bound.ml 9 additions, 8 deletionssrc_colibri2/theories/LRA/stages/bound.ml
- src_colibri2/theories/LRA/stages/stage1/interval.ml 54 additions, 29 deletionssrc_colibri2/theories/LRA/stages/stage1/interval.ml
Loading
Please register or sign in to comment