satisfy_brute_test, an Octave code which calls satisfy_brute(), 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_brute, an Octave code which demonstrates, for a particular circuit, an exhaustive search for solutions of the circuit satisfy problem.