[LRA] Add multiplicative constant to product
Showing
- libpoly/ocaml_poly.ml 3 additions, 0 deletionslibpoly/ocaml_poly.ml
- libpoly/ocaml_poly.mli 3 additions, 0 deletionslibpoly/ocaml_poly.mli
- src_colibri2/stdlib/std.ml 2 additions, 0 deletionssrc_colibri2/stdlib/std.ml
- src_colibri2/stdlib/std.mli 4 additions, 0 deletionssrc_colibri2/stdlib/std.mli
- src_colibri2/theories/LRA/dom_product.ml 4 additions, 4 deletionssrc_colibri2/theories/LRA/dom_product.ml
- src_colibri2/theories/LRA/fourier.ml 1 addition, 1 deletionsrc_colibri2/theories/LRA/fourier.ml
- src_colibri2/theories/LRA/product.ml 24 additions, 21 deletionssrc_colibri2/theories/LRA/product.ml
- src_colibri2/theories/LRA/product.mli 3 additions, 3 deletionssrc_colibri2/theories/LRA/product.mli
Loading
Please register or sign in to comment