logging added; fixed output of printdecisions
authorStefan Schubert <schubi@suse.de>
Fri, 16 Nov 2007 11:44:58 +0000 (11:44 +0000)
committerStefan Schubert <schubi@suse.de>
Fri, 16 Nov 2007 11:44:58 +0000 (11:44 +0000)
commit49729ef1c119e5551d0c12a937bf5b7779881605
treebce6dae702eb97ef7c9d743a3e35af3b08fa4f0a
parent11f596824ec9755309204a914cbdaf42d7270df5
logging added; fixed output of printdecisions
src/solver.c