When performing logical abstraction, the stochastic model checker is now able to abstract general reactions.
When performing logical abstraction, the stochastic model checker is now able to abstract general reactions.

MyersResearchGroup/iBioSim,MyersResearchGroup/iBioSim,MyersResearchGroup/iBioSim