HPQC-LABS/QuadratizationCode

The LRS-based code includes files from David Avis's LRS library, and some files from Aritanan Gruber.

This repository is not active