Allows to attach event with Egraph.Ro
allows to do the twowatchliteral during enqueue
Showing
- src_colibri2/core/egraph.ml 71 additions, 46 deletionssrc_colibri2/core/egraph.ml
- src_colibri2/core/egraph.mli 24 additions, 25 deletionssrc_colibri2/core/egraph.mli
- src_colibri2/core/events.ml 17 additions, 14 deletionssrc_colibri2/core/events.ml
- src_colibri2/core/events.mli 9 additions, 3 deletionssrc_colibri2/core/events.mli
- src_colibri2/core/ground.ml 1 addition, 1 deletionsrc_colibri2/core/ground.ml
- src_colibri2/popop_lib/bag.ml 31 additions, 0 deletionssrc_colibri2/popop_lib/bag.ml
- src_colibri2/popop_lib/bag.mli 3 additions, 0 deletionssrc_colibri2/popop_lib/bag.mli
- src_colibri2/popop_lib/lists.ml 11 additions, 0 deletionssrc_colibri2/popop_lib/lists.ml
- src_colibri2/popop_lib/lists.mli 2 additions, 0 deletionssrc_colibri2/popop_lib/lists.mli
- 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/dimacs/sat/dune.inc 11 additions, 11 deletionssrc_colibri2/tests/solve/dimacs/sat/dune.inc
- src_colibri2/tests/solve/dimacs/unsat/dune.inc 6 additions, 6 deletionssrc_colibri2/tests/solve/dimacs/unsat/dune.inc
- src_colibri2/tests/solve/smt_adt/sat/dune.inc 6 additions, 6 deletionssrc_colibri2/tests/solve/smt_adt/sat/dune.inc
- src_colibri2/tests/solve/smt_adt/unsat/dune.inc 7 additions, 7 deletionssrc_colibri2/tests/solve/smt_adt/unsat/dune.inc
- src_colibri2/tests/solve/smt_lra/sat/dune.inc 33 additions, 33 deletionssrc_colibri2/tests/solve/smt_lra/sat/dune.inc
- src_colibri2/tests/solve/smt_lra/unsat/dune.inc 11 additions, 11 deletionssrc_colibri2/tests/solve/smt_lra/unsat/dune.inc
- src_colibri2/tests/solve/smt_nra/sat/dune.inc 7 additions, 7 deletionssrc_colibri2/tests/solve/smt_nra/sat/dune.inc
- src_colibri2/tests/solve/smt_nra/unsat/dune.inc 10 additions, 10 deletionssrc_colibri2/tests/solve/smt_nra/unsat/dune.inc
- src_colibri2/tests/solve/smt_quant/sat/dune.inc 4 additions, 4 deletionssrc_colibri2/tests/solve/smt_quant/sat/dune.inc
- src_colibri2/tests/solve/smt_quant/unsat/dune.inc 11 additions, 11 deletionssrc_colibri2/tests/solve/smt_quant/unsat/dune.inc
Loading
Please register or sign in to comment