Closed danbryce closed 9 years ago
Some major refactoring of heuristics to live in the SMTsolver. There is now a shallow class hierarchy using a interface for driving heuristics via the CoreSMTSolver. Also, added some reformulation of the battery network problem.
Some major refactoring of heuristics to live in the SMTsolver. There is now a shallow class hierarchy using a interface for driving heuristics via the CoreSMTSolver. Also, added some reformulation of the battery network problem.