Adapt to model checker changes

sorgerlab / bioagents

Biological reasoning agents

BSD 2-Clause "Simplified" License

5 stars 15 forks source link

Closed bgyori closed 3 years ago

bgyori commented 3 years ago

This PR adapts some of the model diagnosis code to changes in https://github.com/sorgerlab/indra/pull/1216.