Join GitHub today
Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
A fault tree analysis library. Yices (required) is the backend SMT solver used to calculate cutsets. Release Notes: 0.0.1 ??? - Text rendering of fault tree. 0.0.0 01/04/2011 - Initial release.