Name		Name	Last commit message	Last commit date
sat_probs		sat_probs
unsat_probs		unsat_probs
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
cnf.c		cnf.c
cnf.h		cnf.h
test_cnf.c		test_cnf.c

Repository files navigation

cnf-parser

A parser for DIMACS-formatted CNF files.

About

A parser for DIMACS-formatted CNF files.

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages