}
clearVectorEdge(&cnf->constraints);
clearVectorEdge(&cnf->args);
- deleteIncrementalSolver(cnf->solver);
+ resetSolver(cnf->solver);
memset(cnf->node_array, 0, sizeof(Node *) * cnf->capacity);
cnf->varcount = 1;
cnf->size = 0;
cnf->enableMatching = true;
- cnf->solver = allocIncrementalSolver();
cnf->solveTime = 0;
cnf->encodeTime = 0;
}
#include "csolver.h"
-
+//#include <unistd.h>
+//#include <sys/types.h>
int main(int argc, char ** argv){
if(argc < 2){
printf("You should specify file names ...");
exit(-1);
}
+// printf("I am pid %d!\n", getpid());
+// usleep(20000000);
+
for(int i = 1; i < argc; i++) {
CSolver* solver = CSolver::deserialize(argv[i]);
int value=solver->solve();