satisfy_openmp_test


satisfy_openmp_test, a FORTRAN90 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.

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 FORTRAN90 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 05 August 2020.