stalmarck_sat::parser

Module dimacs

Source

Structsยง

Parser
Parser for DIMACS CNF format