cnf_io_test


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.

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 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.