optimized & enabled AllSAT again, disabled CUDD
fixed tests to accommodate changes in the last commit