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 computer code and data files described and made available on this web page are 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.