satisfy_test


satisfy_test, a C++ code which calls satisfy(), which demonstrates, for a particular circuit, an exhaustive search for solutions of the circuit satisfiability problem.

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:

satisfy, a C++ code which demonstrates, for a particular circuit, an exhaustive search for solutions of the circuit satisfiability problem.

Source Code:


Last revised on 10 April 2020.