Giters
VERIMAG-Polyhedra
/
VPL
Verimag Polyhedra Library
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
17
Watchers:
5
Issues:
23
Forks:
2
VERIMAG-Polyhedra/VPL Issues
User interface
Closed
4 years ago
Assume_back: renormalization
Updated
5 years ago
Handelman Normalization
Updated
5 years ago
Assume_back: merge regions
Updated
5 years ago
Better maintenance of regions in IneqSet
Updated
5 years ago
Fix trace generation
Updated
5 years ago
Code normalization
Updated
5 years ago
Handelman oracle
Updated
5 years ago
Intervalization
Updated
5 years ago
Check VPL dependencies
Updated
5 years ago
Reuse PLP regions
Updated
5 years ago
New operator: projection and inclusion testing
Updated
5 years ago
Incremental operators
Updated
5 years ago
Opam package
Updated
5 years ago
VPL doc
Updated
5 years ago
HTML page
Updated
5 years ago
General code review
Updated
5 years ago
Handle degeneracy in PLP
Updated
5 years ago
Maintain PLP regions
Updated
5 years ago
Check polynomial parser
Updated
6 years ago
Handelman Plotting
Updated
6 years ago
Handelman default heuristic
Updated
6 years ago
Join operator: certificate failure - strict inequalities
Closed
6 years ago