Menu ▾ ▴

Tree [r88] /
 History

HTTPS svn://
HTTPS access

File Date Author Commit
 Core 2015-07-16 hannesklarner [r88] ModelChecking.py restructured and tests almost ...
 Dependencies 2015-07-15 hannesklarner [r85] back to python2.7 and documentation and unittes...
 Macros 2015-07-08 hannesklarner [r79] moving about
 Tests 2015-07-16 hannesklarner [r88] ModelChecking.py restructured and tests almost ...
 examples 2015-05-27 hannesklarner [r60] towards next release..
 readme.txt 2015-07-16 hannesklarner [r88] ModelChecking.py restructured and tests almost ...
 setup.py 2015-07-15 hannesklarner [r86] moved setup.py

Read Me

Last Changes
============

(July 2015, v2.0)
Complete resturcture:
 - Gringo and Clasp included (Potassco ASP solving collection, see potassco.sourceforge.net)
 - NuSMV model checker included (see http://nusmv.fbk.eu)
 - BNet2Primes included (see github.com/xstreck1/BNetToPrime)
 - attractor detection via ASP, model checkiing and random walks
 - unit tests
 - full documentation
 - export of interaction graphs as dot files

(May 2014, v1.02):
 - Added file conversion BoolNet->NuSMV
 - Added output format parameter that allows for a reduced network description using substitution and percolation

(April 2014, v1.01):
 - Added export of 0-1 optimization problem as Potassco ASP problem.
   Use "save_ASP( Filename )".
 - Added option for removing inputs when searching for maximal symbolic steady states.
   Use "inputs_to_blinkers()" to convert each input node into a blinker, i.e.,
   a node with a negative self-regulation.