Does this repository support robust boundary calculations of CROWN-IBP type?

[nbdyn]

RecurJac-and-CROWN/bound_base.py

Line 188 in 163c84e

if layerbndalg == "crown-interval":

I would also like to ask if the “crown-interval" in this code can support CROWN-IBP type of robustness boundary calculation?
And in "boundary_base.py line 188", when determining "layerbndalg == "crown-interval"", is it only for ReLU activation function? Why do I need to call crown_adaptive_bound after interval_bound？is this a CROWN-IBP-like boundary calculation?