These Jupyter notebooks provide interactive Python tutorials for development with Coral. You can download these files and run them on a local Jupyter notebook, but ...

This is the code of paper Rethinking Branching on Exact Combinatorial Optimization Solver: The First Deep Symbolic Discovery Framework. [paper] We revise the official scip (version 6.0.1) to add ...