satisfy_mpi_test


satisfy_mpi_test, a FORTRAN90 code which calls satisfy_mpi(), which demonstrates, for a particular circuit, an exhaustive search for solutions of the circuit satisfy problem. This version of the program uses MPI to carry out the solution in parallel.

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_mpi, a FORTRAN90 code which demonstrates, for a particular circuit, an exhaustive search for solutions of the circuit satisfiability problem, using the Message Passing Interface (MPI) to work in parallel.

Source Code:


Last revised on 26 August 2020.