Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • Public / Benchexec

    Updated
  • Public / CUDD

    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
  • SCRAM / scram

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

    Updated
  • OpenPRA model fixtures generated on the fly for testing and benchmarking solvers. Models stored in a persistent container for easy consumption.

    Updated
  • Binary Decision Diagram solver for OpenPRA event trees and fault trees

    Updated
  • XFTA is a powerful and efficient calculation engine for fault trees and related models.

    Updated