Merge branch 'bobot/for_master' into 'master'
Add get-model and get-value See merge request bobot/colibrics!14
Showing
- src_colibri2/bin/.ocamlformat 0 additions, 0 deletionssrc_colibri2/bin/.ocamlformat
- src_colibri2/bin/main.ml 21 additions, 18 deletionssrc_colibri2/bin/main.ml
- src_colibri2/bin/options.ml 189 additions, 133 deletionssrc_colibri2/bin/options.ml
- src_colibri2/core/.ocamlformat-ignore 0 additions, 2 deletionssrc_colibri2/core/.ocamlformat-ignore
- src_colibri2/core/colibri2_core.mli 50 additions, 6 deletionssrc_colibri2/core/colibri2_core.mli
- src_colibri2/core/egraph.ml 11 additions, 0 deletionssrc_colibri2/core/egraph.ml
- src_colibri2/core/egraph.mli 5 additions, 0 deletionssrc_colibri2/core/egraph.mli
- src_colibri2/core/ground.ml 330 additions, 284 deletionssrc_colibri2/core/ground.ml
- src_colibri2/core/ground.mli 63 additions, 67 deletionssrc_colibri2/core/ground.mli
- src_colibri2/core/interp.ml 221 additions, 39 deletionssrc_colibri2/core/interp.ml
- src_colibri2/core/interp.mli 32 additions, 4 deletionssrc_colibri2/core/interp.mli
- src_colibri2/solver/.ocamlformat 0 additions, 0 deletionssrc_colibri2/solver/.ocamlformat
- src_colibri2/solver/input.ml 285 additions, 219 deletionssrc_colibri2/solver/input.ml
- src_colibri2/solver/scheduler.ml 6 additions, 1 deletionsrc_colibri2/solver/scheduler.ml
- src_colibri2/solver/scheduler.mli 3 additions, 1 deletionsrc_colibri2/solver/scheduler.mli
- src_colibri2/tests/generate_tests/generate_dune_tests.ml 22 additions, 10 deletionssrc_colibri2/tests/generate_tests/generate_dune_tests.ml
- src_colibri2/tests/solve/all/steplimitreached/dune.inc 1 addition, 3 deletionssrc_colibri2/tests/solve/all/steplimitreached/dune.inc
- src_colibri2/tests/solve/all/unsat/bag-BagImpl-createqtvc.psmt2 2 additions, 0 deletions...libri2/tests/solve/all/unsat/bag-BagImpl-createqtvc.psmt2
- src_colibri2/tests/solve/all/unsat/dune.inc 4 additions, 9 deletionssrc_colibri2/tests/solve/all/unsat/dune.inc
- src_colibri2/tests/solve/dimacs/sat/dune.inc 11 additions, 23 deletionssrc_colibri2/tests/solve/dimacs/sat/dune.inc
Loading
Please register or sign in to comment