satisfy_parfor_test

satisfy_parfor_test a MATLAB code which calls satisfy_parfor(), which solves the satisfiability problem, using the parfor() statement to run in parallel.

Licensing:

The information on this web page is distributed under the MIT license.

Related Data and Programs:

satisfy_parfor, a MATLAB code which solves the satisfiability problem, using the parfor() statement to run in parallel.

Source Code:

• satisfy_parfor_test.m calls all the tests.
• satisfy_parfor_test.sh runs all the tests.
• satisfy_parfor_test.txt the output file.