| Current Path : /home/beeson/Otter-Lambda/otter2/ |
| Current File : //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);