Menu ▾ ▴

Tree [r43] /
 History

HTTPS svn://
HTTPS access

File Date Author Commit
 ASPSolver.py 2014-07-22 hannesklarner [r41] stuff..
 BoolNetInterface.py 2014-07-01 hannesklarner [r25] getting there..
 FileExchange.py 2014-08-21 hannesklarner [r43] adding STG to BoolNet in FEX.
 ILPSolver.py 2014-07-11 hannesklarner [r33] percolation algorithm revised and bugfixed
 InteractionGraphs.py 2014-06-09 hannesklarner [r14] nearly finished..
 Macros.py 2014-08-21 hannesklarner [r43] adding STG to BoolNet in FEX.
 ModelChecking.py 2014-07-14 hannesklarner [r36] forgot
 PrimeImplicantGraphs.py 2014-08-11 hannesklarner [r42] renames
 SymbolicStates.py 2014-07-16 hannesklarner [r37] input reduction and stuff
 buddingyeast.sbml 2014-04-29 hannesklarner [r1] Initial commit
 buddingyeast.smv 2014-06-03 hannesklarner [r10] unstable approach to v2.0
 buddingyeast.txt 2014-04-29 hannesklarner [r1] Initial commit
 jobs.py 2014-08-21 hannesklarner [r43] adding STG to BoolNet in FEX.
 mapk.lp 2014-04-29 hannesklarner [r1] Initial commit
 mapk.sbml 2014-04-29 hannesklarner [r1] Initial commit
 mapk.smv 2014-06-09 hannesklarner [r14] nearly finished..
 mapk.txt 2014-06-13 hannesklarner [r16] lets go now
 qm.py 2014-07-22 hannesklarner [r41] stuff..
 readme.txt 2014-06-03 hannesklarner [r10] unstable approach to v2.0
 temporal_logic_queries.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.