2008-02-14 | Stefan Schubert | rename packages works for update now | blob | commitdiff | raw |
2008-01-29 | Michael Andres | - Prepare ResPool being a singleton ontop of sat::Pool. | blob | commitdiff | raw | diff to current |
2008-01-24 | Stefan Schubert | setting SAT-solver flags for update and verify | blob | commitdiff | raw | diff to current |
2008-01-24 | Stefan Schubert | -cleanup | blob | commitdiff | raw | diff to current |
2008-01-24 | Stefan Schubert | - improved error messages | blob | commitdiff | raw | diff to current |
2007-11-30 | Stefan Schubert | added new interface for solution | blob | commitdiff | raw | diff to current |
2007-11-08 | Stefan Schubert | Error handling added. | blob | commitdiff | raw | diff to current |
2007-10-29 | Michael Andres | adapt to satsolver API changes | blob | commitdiff | raw | diff to current |
2007-10-23 | Stefan Schubert | added parameter SATpool | blob | commitdiff | raw | diff to current |
2007-10-23 | Stefan Schubert | mainframe for SAT-sovler | blob | commitdiff | raw | diff to current |