satisfy_mpi_test


satisfy_mpi_test, a C 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 code uses MPI to carry out the solution in parallel.

Licensing:

The computer code and data files made available on this web page are distributed under the GNU LGPL license.

Related Data and codes:

satisfy_mpi, a C 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 June 2020.