- add satversion.h containing the current satsolver version
authorMichael Schroeder <mls@suse.de>
Wed, 15 Jul 2009 09:08:49 +0000 (11:08 +0200)
committerMichael Schroeder <mls@suse.de>
Wed, 15 Jul 2009 09:08:49 +0000 (11:08 +0200)
commit5e2b2cf21f9df34896f31bb276f8cb76da01fd25
treef6e8d59d3e6a8e22c9a08a0b0b33d7db0a57b058
parent0f3049bf60880e3934678089e8a561b463005231
- add satversion.h containing the current satsolver version
CMakeLists.txt
src/CMakeLists.txt
src/satversion.h.in [new file with mode: 0644]
tests/solver/deptestomatic.c