satisfy_openmp_test


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.

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_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.

Source Code:


Last revised on 10 April 2020.