cnf_io_test

cnf_io_test, a C++ code which calls cnf_io() to read or write a file, in the DIMACS CNF format, containing information about a boolean formula written in conjunctive normal form.

Licensing:

The computer code and data files described and made available on this web page are distributed under the MIT license

Related Data and Programs:

cnf_io, a C++ code which reads or writes files used to store boolean formulas in conjunctive normal form (CNF).

Source Code:

• cnf_io_test.cpp, a sample calling program.
• cnf_io_test.sh, runs all the tests.
• cnf_io_test.txt, the output file.

• test01_v3_c2.cnf, a CNF file, for 3 variables and 2 clauses, written by the sample program.
• test02_v16_c18.cnf, a CNF file, for 16 variables and 18 clauses, written by the sample program.