The complexity of positive first order logic without equality the four element case in matlab

The following Matlab project contains the source code and Matlab examples used for the complexity of positive first order logic without equality the four element case. This submission contains the code used to verify the claims made about pSpace, NP and co-NP classes in the four element case.

The source code and files included in this project are listed in the project files section, please make sure whether the listed source code meet your needs there.

Project Files: 

File NameSize
buildAll.m 1378
co_npMonoids.m 2594
dec2she.m 153
findNCycle.m 10416
generateMonoid.m 1147
generateSubMatrix.m 346
getShopSize.m 33
hex2she.m 467
license.txt 1310
mexShopFcns.cpp 12715
npMonoids.m 2457
pSpaceMoniods.m 2105
she2dec.m 101
she2hex.m 193
testIfShopsMakeGroup.m 1085
transposeShops.m 77