2007-11-26 | Stefan Schubert | replaced printf by a locking function | blob | commitdiff |
2007-11-08 | Michael Schroeder | - add a license | blob | commitdiff | diff to current |
2007-10-02 | Klaus Kaempf | current state of 'sat-solver' | blob | commitdiff | diff to current |