Proletariat Graph-Learning Constraint Solver - View it on GitHub