| Author | Topic |
|---|
Posts: 10
Location:
Paris, FRANCE
Registered:
November 2004
|
|
BIOCHAM 2.2 Release announcement
|
09 Nov '04 02:30
|
 |
|
[Apologies if you receive this announcement more than once]
Hi,
We are please to announce the availability of BIOCHAM 2.2:
http://contraintes.inria.fr/BIOCHAM/
BIOCHAM is an environment for modeling and simulating biochemical
systems using a rule-based framework allowing for temporal logic
querying of the qualitative properties of the models.
BIOCHAM is released under the GNU G.P.L. and is known to work under
most Linux distributions, other Unices and Windows through Cygwin.
Version 2.2 features improved SBML support, better plotting
capabilities, compatibility with the latest version of the NuSMV model
checker (2.2.2), improved options for exporting to the Graphviz suite,
etc.
Questions and remarks can be addressed to biocham @ beaune.inria.fr
Thank you,
the BIOCHAM team
--
Sylvain Soliman <Sylvain.Soliman@inria.fr> Tel: (+33) 1 39635761
INRIA Rocquencourt - Projet CONTRAINTES Fax: (+33) 1 39635469
Domaine de Voluceau, Rocquencourt, BP 105 GnuPG Public Key: 0x0F53AF99
78153 LE CHESNAY CEDEX - FRANCE http://contraintes.inria.fr/~soliman
----- End forwarded message -----
--
Sylvain Soliman <Sylvain.Soliman@inria.fr> Tel: (+33) 1 39635761
INRIA Rocquencourt - Projet CONTRAINTES Fax: (+33) 1 39635469
Domaine de Voluceau, Rocquencourt, BP 105 GnuPG Public Key: 0x0F53AF99
78153 LE CHESNAY CEDEX - FRANCE http://contraintes.inria.fr/~soliman
|
|
|
