2008-04-21 | Stefan Schubert | - removed unneeded Solutions | blob | commitdiff | raw |
2008-04-18 | Stefan Schubert | new call resolveQueue added | blob | commitdiff | raw | diff to current |
2008-04-15 | Stefan Schubert | moved SATResolver to solver/details | blob | commitdiff | raw | diff to current |