dimacs (npm): DIMACS parser in Peg.JS for Javascript and Typescript
Keywords: dimacs|peg|jest|integer|programming|constraint|smt|sat|stonecypher