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