Add term only propagated
terms can be grouped and scheduling of those decisions freezed
parent
df49083e
No related branches found
No related tags found
Showing
- src_colibri2/core/choice_group.ml 99 additions, 0 deletionssrc_colibri2/core/choice_group.ml
- src_colibri2/core/choice_group.mli 39 additions, 0 deletionssrc_colibri2/core/choice_group.mli
- src_colibri2/core/colibri2_core.ml 8 additions, 1 deletionsrc_colibri2/core/colibri2_core.ml
- src_colibri2/core/colibri2_core.mli 38 additions, 6 deletionssrc_colibri2/core/colibri2_core.mli
- src_colibri2/core/demon.ml 19 additions, 5 deletionssrc_colibri2/core/demon.ml
- src_colibri2/core/demon.mli 12 additions, 5 deletionssrc_colibri2/core/demon.mli
- src_colibri2/core/egraph.mli 1 addition, 1 deletionsrc_colibri2/core/egraph.mli
- src_colibri2/core/ground.ml 40 additions, 12 deletionssrc_colibri2/core/ground.ml
- src_colibri2/core/ground.mli 3 additions, 2 deletionssrc_colibri2/core/ground.mli
- src_colibri2/solver/input.ml 1 addition, 1 deletionsrc_colibri2/solver/input.ml
- src_colibri2/solver/scheduler.ml 64 additions, 21 deletionssrc_colibri2/solver/scheduler.ml
- src_colibri2/solver/scheduler.mli 10 additions, 4 deletionssrc_colibri2/solver/scheduler.mli
- src_colibri2/tests/.ocamlformat 0 additions, 0 deletionssrc_colibri2/tests/.ocamlformat
- src_colibri2/tests/generate_tests/generate_dune_tests.ml 1 addition, 1 deletionsrc_colibri2/tests/generate_tests/generate_dune_tests.ml
- src_colibri2/tests/solve/all/sat/dune.inc 6 additions, 6 deletionssrc_colibri2/tests/solve/all/sat/dune.inc
- src_colibri2/tests/solve/all/unsat/dune.inc 25 additions, 22 deletionssrc_colibri2/tests/solve/all/unsat/dune.inc
- src_colibri2/tests/solve/all/unsat/lost_in_search_union.psmt2 377 additions, 0 deletions...colibri2/tests/solve/all/unsat/lost_in_search_union.psmt2
- src_colibri2/tests/solve/dimacs/sat/dune.inc 22 additions, 22 deletionssrc_colibri2/tests/solve/dimacs/sat/dune.inc
- src_colibri2/tests/solve/dimacs/unsat/dune.inc 12 additions, 12 deletionssrc_colibri2/tests/solve/dimacs/unsat/dune.inc
- src_colibri2/tests/solve/models/dune.inc 2 additions, 2 deletionssrc_colibri2/tests/solve/models/dune.inc
Loading
Please register or sign in to comment