Issues
- 0
User interface
#9 opened by MarechalAlex - 0
Assume_back: renormalization
#23 opened by MarechalAlex - 0
Handelman Normalization
#21 opened by MarechalAlex - 0
Assume_back: merge regions
#22 opened by MarechalAlex - 0
Better maintenance of regions in IneqSet
#20 opened by MarechalAlex - 0
Fix trace generation
#19 opened by MarechalAlex - 0
Code normalization
#18 opened by MarechalAlex - 0
Handelman oracle
#17 opened by MarechalAlex - 0
Intervalization
#16 opened by MarechalAlex - 0
Check VPL dependencies
#15 opened by MarechalAlex - 0
Reuse PLP regions
#14 opened by MarechalAlex - 0
New operator: projection and inclusion testing
#13 opened by MarechalAlex - 0
Incremental operators
#12 opened by MarechalAlex - 0
Opam package
#11 opened by MarechalAlex - 0
VPL doc
#10 opened by MarechalAlex - 0
HTML page
#8 opened by MarechalAlex - 0
General code review
#7 opened by MarechalAlex - 0
Handle degeneracy in PLP
#6 opened by MarechalAlex - 0
Maintain PLP regions
#5 opened by MarechalAlex - 0
Check polynomial parser
#4 opened by MarechalAlex - 0
Handelman Plotting
#3 opened by MarechalAlex - 0
Handelman default heuristic
#2 opened by MarechalAlex - 0