Set up testing platform, to test my own code vs the satzilla code
bprovanbessell opened this issue · comments
Can only run satzilla on linux, so run bash script/os command from python to get result from headnode to compare. Or just upload to headnode and compare it.
More varied types of cnf are needed, but the testing platform, at least for the basic features is complete