Menu ▾ ▴

Tree [r9] /
 History

HTTPS svn://
HTTPS access

File Date Author Commit
 BoolNetFixpoints.py 2014-05-28 hannesklarner [r9] next version: NuSMV export and option for reduc...
 FileConversion.py 2014-05-28 hannesklarner [r9] next version: NuSMV export and option for reduc...
 buddingyeast.sbml 2014-04-29 hannesklarner [r1] Initial commit
 buddingyeast.smv 2014-05-28 hannesklarner [r9] next version: NuSMV export and option for reduc...
 buddingyeast.txt 2014-04-29 hannesklarner [r1] Initial commit
 examples.py 2014-05-28 hannesklarner [r9] next version: NuSMV export and option for reduc...
 manual.pdf 2014-05-28 hannesklarner [r9] next version: NuSMV export and option for reduc...
 mapk.lp 2014-04-29 hannesklarner [r1] Initial commit
 mapk.sbml 2014-04-29 hannesklarner [r1] Initial commit
 mapk.smv 2014-05-28 hannesklarner [r9] next version: NuSMV export and option for reduc...
 mapk.txt 2014-05-28 hannesklarner [r6] keep on truckin..
 printTruthTable.R 2014-04-29 hannesklarner [r1] Initial commit
 qm.py 2014-04-29 hannesklarner [r1] Initial commit
 readme.txt 2014-05-28 hannesklarner [r9] next version: NuSMV export and option for reduc...
 temporal_logic_queries.txt 2014-05-28 hannesklarner [r9] next version: NuSMV export and option for reduc...

Read Me

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

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

(April 2014):
 - 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.