corail-research/learning-to-bound

Implementation of the paper "Improving Variable Orderings of Approximate Decision Diagrams using Reinforcement Learning"

C++MIT