| Current Path : /usr/home/beeson/Otter-Lambda/otter2/ |
| Current File : /usr/home/beeson/Otter-Lambda/otter2/simplify.h |
struct clause * Simplify(struct clause *c); int SimplifyInPlace(struct clause *c); struct clause * Solve(struct clause *c); int SolveInPlace(struct clause *c);