GitHub repository: rschwarz/Diderot.jl
Primary language: Julia
Description: Decision Diagrams for Discrete Optimization - Generic Julia Implementation