cnf_io_test

cnf_io_test, a FORTRAN77 code which calls cnf_io(), which reads or writes 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 GNU LGPL license.

Related Data and Programs:

cnf_io, a FORTRAN77 code which reads or writes a file in the DIMACS CNF format, containing information about a boolean formula written in conjunctive normal form.

Source Code:

• cnf_io_test.f, a sample calling program.
• cnf_io_test.sh, commands to compile and run the sample program.
• cnf_io_test.txt, the output file.

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