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

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

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

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