itv-tree

Float intervals tree library
Description

interval tree for float intervals, you can create a tree once then query it many times (queries are fast)

Install
Published
09 Dec 2022
Authors
Maintainers
Sources
v2.2.tar.gz
md5=9e794444e840be1db8987687857a36da
Dependencies
dune >= "1.11"
Reverse Dependencies
acpc >= "1.2" & < "2.0.0"