cnf_io_test, a C++ program 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.


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 C++ library which reads or writes files used to store boolean formulas in conjunctive normal form (CNF).

Source Code:

Last revised on 20 February 2020.