vcoppe / mdd-solver

Discrete optimization solver based on Multi-valued Decision Diagrams

Geek Repo

Github PK Tool