src_colibri2/theories/LRA/dom_polynome.mli · 43a3e0760ed672d3ca5c47670ad147549f0a9be4 · pub / colibrics · GitLab

Snippets Groups Projects

3 years ago
43a3e076
Use an external table for polynome/product to node · 43a3e076
François Bobot authored 3 years ago
```
In order to not keep some and simplify the debug gui
```
43a3e076

History
Use an external table for polynome/product to node
François Bobot authored 3 years ago
```
In order to not keep some and simplify the debug gui
```