satisfy_brute_test

satisfy_brute_test, a C code which calls satisfy_brute() to demonstrate, for a particular circuit, an exhaustive search for solutions of the circuit satisfy problem.

Licensing:

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

Related Data and Programs:

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

Source Code:

• satisfy_brute_test.c, calls all the tests.
• satisfy_brute_test.sh, runs all the tests.
• satisfy_brute_test.txt, the output file.