PyBoolNet (hompage: github.com/hklarner) Code

Brought to you by: hannesklarner

• Summary
• Files
• Reviews
• Support
• Tickets
• Code
• Discussion

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Commit [r9]  Maximize  Restore  History

next version: NuSMV export and option for reduced output format.

Authored by: hannesklarner 2014-05-28

Browse code at this revision

Parent: [r8]

Child: [r10]

changed	/BoolNetFixpoints.py
changed	/FileConversion.py
added	/buddingyeast.smv
changed	/examples.py
changed	/manual.pdf
changed	/mapk.smv
changed	/readme.txt
added	/temporal_logic_queries.txt

/BoolNetFixpoints.py Diff Switch to side-by-side view

/FileConversion.py Diff Switch to side-by-side view

/buddingyeast.smv

Binary file was added.

/examples.py Diff Switch to side-by-side view

/manual.pdf

Binary file was changed.

/mapk.smv

Binary file was changed.

/readme.txt Diff Switch to side-by-side view

/temporal_logic_queries.txt Diff Switch to side-by-side view

✕