GitHub repository: vcoppe/MDDSolver
Primary language: Java
Description: Discrete optimization solver based on Multi-valued Decision Diagrams