Skip to content
GitLab

Explore projects

  • O

    OpenEPL / OpenEPL Engine

    GNU General Public License v3.0 or later

    C++ implementation of the DEPM algorithm

    archived 2
    Updated
    archived 2 0 3 15
    Updated
  • 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
  • S

    SCRAM / scram-cpp

    GNU Affero General Public License v3.0
    archived 0
    Updated
    archived 0 0 0 6
    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
  • O

    Public / OpenBDD

    GNU Affero General Public License v3.0

    Bit-array backed Binary Decision Diagram solver

    Topics: bdd solver
    0
    Updated
    0 0 0 3
    Updated