check for needed methods in satsolver, improve logging
authorOlaf Dabrunz <od@suse.de>
Thu, 13 Nov 2008 17:45:02 +0000 (18:45 +0100)
committerOlaf Dabrunz <od@suse.de>
Thu, 13 Nov 2008 17:45:02 +0000 (18:45 +0100)
commit26a3b8173281f3ce60c24649fe6a8a883f7fc485
tree07831e18e8feae76e324abe9b014bc23e28660a4
parenta2dbd78143be27018aa3fc8f042d9f62bbf350cc
check for needed methods in satsolver, improve logging
sam