/cumulative

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

Primary LanguageCoq

Stargazers

No one’s star this repository yet.