changeset 29145 | b1c6f4563df7 |
parent 28901 | 028a52be4078 |
child 29182 | 9304afad825e |
29144:ca186ebbd824 | 29145:b1c6f4563df7 |
---|---|
202 Some internal ML reorganizations. |
202 Some internal ML reorganizations. |
203 |
203 |
204 * 2004/2005: Tjark Weber, TUM |
204 * 2004/2005: Tjark Weber, TUM |
205 SAT solver method using zChaff. |
205 SAT solver method using zChaff. |
206 Improved version of HOL/refute. |
206 Improved version of HOL/refute. |
207 |
|
208 $Id$ |