satisfy_openmp_test, a FORTRAN77 code which calls satisfy_openmp(), which demonstrates, for a particular circuit, an exhaustive search for solutions of the circuit satisfy problem, using OpenMP for parallel execution.
The computer code and data files described and made available on this web page are distributed under the GNU LGPL license.
satisfy_openmp, a FORTRAN77 code which demonstrates, for a particular circuit, an exhaustive search for solutions of the circuit satisfy problem, using OpenMP for parallel execution.