-
All models should terminate (ideally with a snapshot); i.e., one should not have to pass a pause condition to KaSim.
-
The basic template for a model would be to have a model name and generate snapshots/outputs/documentation using that name. For instance, if the model is called
simple_chain
, then add the following:models/simple_chain.ka
: Kappa programsnapshot/simple_chain.json
: snapshot that the Kappa program outputsoutputs/simple_chain.out
: outputs (observables) from Kappa programdocs/simple_chain.md
: documentation for model
-
After adding a model, put a link to it in REPOSITORY.md