Dimacs | npm.io

Sort DIMACS format files by number of variables

1.0.0 • Published 7 years ago

Parser for the Dimacs file format

2.3.2 • Published 7 years ago

DIMACS parser in Peg.JS for Javascript and Typescript

dimacs peg jest integer programming constraint smt sat stonecypher

1.0.1 • Published 2 years ago