Incremental operators #12
Description
Make operators incremental: one must be able to add a constraint to the input polyhedron, and reuse the previous result to avoid recomputing everything.
{{ message }}
Make operators incremental: one must be able to add a constraint to the input polyhedron, and reuse the previous result to avoid recomputing everything.