Menu ▾ ▴

Tree [r62] /
 History

HTTPS svn://
HTTPS access

File Date Author Commit
 examples 2015-05-27 hannesklarner [r60] towards next release..
 networkx 2015-05-27 hannesklarner [r60] towards next release..
 ASPSolver.py 2015-05-18 hannesklarner [r59] updates..
 AttractorApproximation.py 2015-05-27 hannesklarner [r62] added refinement tree and export as dot / pdf. ...
 FileExchange.py 2015-05-27 hannesklarner [r60] towards next release..
 ILPSolver.py 2015-02-05 hannesklarner [r55] ASP crash fix und ILP timelimit bug fix
 InteractionGraphs.py 2014-11-19 hannesklarner [r46] keep on trucking
 NuSMV.py 2015-05-27 hannesklarner [r60] towards next release..
 PrimeImplicantGraphs.py 2015-05-18 hannesklarner [r59] updates..
 RandomNetworks.py 2015-05-27 hannesklarner [r60] towards next release..
 qm.py 2014-07-22 hannesklarner [r41] stuff..
 quickguide.tex 2015-05-27 hannesklarner [r60] towards next release..
 readme.txt 2014-06-03 hannesklarner [r10] unstable approach to v2.0

Read Me

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

(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.