This archive is under the GNU General Public License v3.0.
The software and data in this repository are a snapshot of the software and data that were used in the research reported on in Parallelized Conflict Graph Cut Generation by Yongzheng Dai and Chen Chen.
Please install an alpha version of JuMP to reproduce our result! The prototype can be obtained by:
pkg> add JuMP #Press ']' to enter the Pkg REPL mode.
pkg> add MathOptInterface#masterThe code is written in the Julia programming language. Please visit the website for an installation guide.
See README.md (in src) for tutorial and examples.