/cumulative

an implementation of "Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n)" in Coq

Primary LanguageCoq

No issues in this repository yet.