ExperimentsBound Implementation for the paper Multi-experiment parameter identifiability of ODEs and model theory. For example of usage, see the examples folder.