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