- fix problem_to_solutions segfault
authorMichael Schroeder <mls@suse.de>
Wed, 4 Mar 2009 13:40:19 +0000 (14:40 +0100)
committerMichael Schroeder <mls@suse.de>
Wed, 4 Mar 2009 13:40:19 +0000 (14:40 +0100)
commit6821e07e6fcd411f11b4a5e514ddcbd042e157e8
tree73110ae9c42cf80ca75bd443184f9d483dcab06e
parent4d5a203b636fc4a7a108183d6da06ee564129343
- fix problem_to_solutions segfault
- bump version
VERSION.cmake
package/libsatsolver.changes
src/solver.c
src/solver.h