satisfy_test

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

Licensing:

The computer code and data files described and made available on this web page are distributed under the MIT license

Related Data and Programs:

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

Source Code:

• satisfy_test.m, calls all the tests.
• satisfy_test.sh, runs all the tests.
• satisfy_test.txt, the output file.