Explore projects

  • SCRAM / scram

    GNU General Public License v3.0 only

    Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)

    Updated
    Updated
  • Public / Benchexec

    Apache License 2.0
    Updated
    Updated
  • Public / CUDD

    BSD 3-Clause "New" or "Revised" License

    The Colorado University Decision Diagram (CUDD) package is written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs).

    Updated
    Updated