GitHub - sschivo/ANIMO: "Development" version of ANIMO: introduces (among other things) the support for "boolean-like" networks, a reactant-centered model and basic model checking with user interface. Extension for multi-core model checking is under way.

sschivo / ANIMO Public

"Development" version of ANIMO: introduces (among other things) the support for "boolean-like" networks, a reactant-centered model and basic model checking with user interface. Extension for multi-core model checking is under way.

1 star 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
.settings		.settings
src		src
.classpath		.classpath
.project		.project
cytoscape-plugin.jardesc		cytoscape-plugin.jardesc
inat-configuration.example.xml		inat-configuration.example.xml
inat-security.policy		inat-security.policy
inat_pre_qty_and_formulae_fitter_boolean_rescaled_template.jardesc		inat_pre_qty_and_formulae_fitter_boolean_rescaled_template.jardesc
manifest.mf		manifest.mf
notes.txt		notes.txt