hyle-model is used at run time in 14 crates. It is a direct run-time dependency in 3 crates.

Depender (with downloads and own rev deps) hyle-model version
370 11 hyle-contract-sdk ^0.13.0-rc.4
110 1 hyle-verifiers ^0.13.0-rc.4
100 hyle ^0.13.0-rc.4