| Mon, 26 Oct 2009 18:52:16 +0100 | blanchet | made Nitpick aware of the KODKODI_JAVA_LIBRARY_PATH, for detecting and properly invoking JNI-based SAT solvers | changeset | files |
| Tue, 27 Oct 2009 16:03:06 +0100 | wenzelm | more thread-safe access to global refs; | changeset | files |
| Tue, 27 Oct 2009 16:02:43 +0100 | wenzelm | avoid structure alias; | changeset | files |
| Tue, 27 Oct 2009 15:02:31 +0100 | wenzelm | comment; | changeset | files |