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 information on this web page is 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.