add Decision (solver result element) and testcase
authorKlaus Kaempf <kkaempf@suse.de>
Sun, 30 Dec 2007 16:58:01 +0000 (16:58 +0000)
committerKlaus Kaempf <kkaempf@suse.de>
Sun, 30 Dec 2007 16:58:01 +0000 (16:58 +0000)
commit1a6ad46a44986e39dd2077a8bd6ea4edb812ad6b
tree65591a4c9b0cffaa581662d38cf0827c4d69fc2e
parent9abbc07d95dbf2c7275173aa4d44f58e2170c2bf
add Decision (solver result element) and testcase
src/solver.c
src/solver.h