Menu

Commit [r10]  Maximize  Restore  History

unstable approach to v2.0

hannesklarner 2014-06-03

added /ASPSolver.py
added /BoolNetFixpoints.R
removed /BoolNetFixpoints.py
removed /FileConversion.py
added /ILPSolver.py
added /NetworkModifier.py
changed /buddingyeast.smv
removed /examples.py
removed /manual.pdf
changed /mapk.smv
removed /printTruthTable.R
changed /readme.txt
changed /temporal_logic_queries.txt
/ASPSolver.py Diff Switch to side-by-side view
Loading...
/BoolNetFixpoints.R Diff Switch to side-by-side view
Loading...
/BoolNetFixpoints.py
File was removed.
/FileConversion.py
File was removed.
/ILPSolver.py Diff Switch to side-by-side view
Loading...
/NetworkModifier.py Diff Switch to side-by-side view
Loading...
/buddingyeast.smv
Binary file was changed.
/examples.py
File was removed.
/manual.pdf
File was removed.
/mapk.smv
Binary file was changed.
/printTruthTable.R
File was removed.
/readme.txt Diff Switch to side-by-side view
Loading...
/temporal_logic_queries.txt Diff Switch to side-by-side view
Loading...