GitHub repository: khalil-research/leo
Primary language: C++
Description: LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams