[Quant] Eager instanciation don't add decision
That are used only for propagation
parent
641607e3
No related branches found
No related tags found
Showing
- colibri2/core/choice_group.ml 1 addition, 0 deletionscolibri2/core/choice_group.ml
- colibri2/core/colibri2_core.mli 30 additions, 0 deletionscolibri2/core/colibri2_core.mli
- colibri2/core/ground.mli 30 additions, 0 deletionscolibri2/core/ground.mli
- colibri2/solver/scheduler.ml 12 additions, 4 deletionscolibri2/solver/scheduler.ml
- colibri2/tests/solve/all/unsat/wp_initialize.psmt2 1015 additions, 0 deletionscolibri2/tests/solve/all/unsat/wp_initialize.psmt2
- colibri2/theories/quantifier/subst.ml 65 additions, 30 deletionscolibri2/theories/quantifier/subst.ml
- colibri2/theories/quantifier/subst.mli 2 additions, 0 deletionscolibri2/theories/quantifier/subst.mli
- colibri2/theories/quantifier/trigger.ml 14 additions, 3 deletionscolibri2/theories/quantifier/trigger.ml
Loading
Please register or sign in to comment