[LRA] Adds a comment on how dom_polynome works
Showing
- src_colibri2/tests/solve/smt_lra/unsat/dune.inc 2 additions, 0 deletionssrc_colibri2/tests/solve/smt_lra/unsat/dune.inc
- src_colibri2/tests/solve/smt_lra/unsat/repr_and_poly.smt2 15 additions, 0 deletionssrc_colibri2/tests/solve/smt_lra/unsat/repr_and_poly.smt2
- src_colibri2/theories/LRA/dom_polynome.ml 9 additions, 5 deletionssrc_colibri2/theories/LRA/dom_polynome.ml
Loading
Please register or sign in to comment