cnf_io_test

cnf_io_test, a Fortran90 code which calls cnf_io(), which reads or writes DIMACS Conjunctive Normal Form (CNF) files defining satisfiability problems in terms of a boolean formula.

Licensing:

The information on this web page is distributed under the MIT license.

Related Data and Programs:

cnf_io, a Fortran90 code which reads or writes DIMACS Conjunctive Normal Form (CNF) files defining satisfiability problems in terms of a boolean formula.

Source Code:

• cnf_io_test.f90, calls all the tests.
• 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.