Merge branch 'bobot/for_master' into 'master'
Start of learning See merge request bobot/colibrics!15
Showing
- .gitignore 12 additions, 0 deletions.gitignore
- src_colibri2/bin/options.ml 9 additions, 3 deletionssrc_colibri2/bin/options.ml
- src_colibri2/core/colibri2_core.ml 9 additions, 4 deletionssrc_colibri2/core/colibri2_core.ml
- src_colibri2/core/colibri2_core.mli 118 additions, 31 deletionssrc_colibri2/core/colibri2_core.mli
- src_colibri2/core/demon.ml 110 additions, 65 deletionssrc_colibri2/core/demon.ml
- src_colibri2/core/demon.mli 39 additions, 15 deletionssrc_colibri2/core/demon.mli
- src_colibri2/core/egraph.ml 7 additions, 6 deletionssrc_colibri2/core/egraph.ml
- src_colibri2/core/egraph.mli 2 additions, 1 deletionsrc_colibri2/core/egraph.mli
- src_colibri2/core/events.ml 8 additions, 4 deletionssrc_colibri2/core/events.ml
- src_colibri2/core/events.mli 7 additions, 3 deletionssrc_colibri2/core/events.mli
- src_colibri2/core/ground.ml 1 addition, 1 deletionsrc_colibri2/core/ground.ml
- src_colibri2/core/interp.ml 1 addition, 1 deletionsrc_colibri2/core/interp.ml
- src_colibri2/solver/input.ml 5 additions, 4 deletionssrc_colibri2/solver/input.ml
- src_colibri2/solver/scheduler.ml 385 additions, 194 deletionssrc_colibri2/solver/scheduler.ml
- src_colibri2/solver/scheduler.mli 20 additions, 14 deletionssrc_colibri2/solver/scheduler.mli
- src_colibri2/tests/generate_tests/generate_dune_tests.ml 31 additions, 18 deletionssrc_colibri2/tests/generate_tests/generate_dune_tests.ml
- src_colibri2/tests/solve/all/steplimitreached/dune.inc 3 additions, 1 deletionsrc_colibri2/tests/solve/all/steplimitreached/dune.inc
- src_colibri2/tests/solve/all/unsat/dune.inc 12 additions, 4 deletionssrc_colibri2/tests/solve/all/unsat/dune.inc
- src_colibri2/tests/solve/dimacs/sat/dune.inc 33 additions, 11 deletionssrc_colibri2/tests/solve/dimacs/sat/dune.inc
- src_colibri2/tests/solve/dimacs/unsat/dune.inc 18 additions, 6 deletionssrc_colibri2/tests/solve/dimacs/unsat/dune.inc
Loading
Please register or sign in to comment