# This is an add-on that must be added to any dependency using this library

storm-core = { path = "..", features = ["all"] }

[workspace]