dimacsDIMACS parser in Peg.JS for Javascript and Typescriptdimacspegjestintegerprogrammingconstraintsmtsatstonecypher1.0.1 • Published 4 years ago