Skip to content
GitLab

Explore projects

  • S

    SCRAM / scram

    GNU General Public License v3.0 only

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

    1
    Updated
    1 0
    Updated
  • C

    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).

    0
    Updated
    0 0 1 3
    Updated
  • B

    Public / Benchexec

    Apache License 2.0
    0
    Updated
    0 0 0 0
    Updated