PyBoolNet (hompage: github.com/hklarner) Code

Brought to you by: hannesklarner

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

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Commit [r88]  Maximize  Restore  History

ModelChecking.py restructured and tests almost finished. More docs.

Authored by: hannesklarner 2015-07-16

Browse code at this revision

Parent: [r87]

Child: [r89]

changed	/Core/AttractorDetection.py
removed	/Core/BestFirstReachability.py
changed	/Core/FileExchange.py
changed	/Core/StateTransitionGraphs.py
removed	/Core/TemporalLogic.py
removed	/Tests/tests.py
changed	/readme.txt

/Core/AttractorDetection.py Diff Switch to side-by-side view

/Core/BestFirstReachability.py

File was removed.

/Core/FileExchange.py Diff Switch to side-by-side view

/Core/StateTransitionGraphs.py Diff Switch to side-by-side view

/Core/TemporalLogic.py

File was removed.

/Tests/tests.py

File was removed.

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