PyBoolNet (hompage: github.com/hklarner) Code

Brought to you by: hannesklarner

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

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Commit [r80]  Maximize  Restore  History

more tests and documentation

Authored by: hannesklarner 2015-07-08

Browse code at this revision

Parent: [r79]

Child: [r81]

renamed	/Core/ASPSolver.py -> /Core/TrapSpaces.py
changed	/Core/AttractorDetection.py
changed	/Core/FileExchange.py
renamed	/Core/NuSMVModelChecking.py -> /Core/ModelChecking.py
changed	/Core/PrimeImplicants.py
removed	/Tests/__init__.py
changed	/Tests/tests.py

/Core/ASPSolver.py to /Core/TrapSpaces.py

File was renamed.

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

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

/Core/NuSMVModelChecking.py to /Core/ModelChecking.py

File was renamed.

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

/Tests/__init__.py

File was removed.

/Tests/tests.py Diff Switch to side-by-side view