- fixed some bugs concerning vector addition
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Sat, 4 Oct 2008 22:05:38 +0000 (22:05 +0000)
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Sat, 4 Oct 2008 22:05:38 +0000 (22:05 +0000)
commit65983bfff91b6d49b6039d70ab6ef6b92a845e4c
treebbc765aad32f9b932000a7eaf5c6a6334eb2079a
parent74cbc1603b37a09f11bea82944926bf2fbed0ebf
- fixed some bugs concerning vector addition
- added solving of trivial nodes
- added back propagation for RI rule
- enabled html dumping for trivial solving and back propagation

[r22484]
heuristical.c
heuristical.h
html_dumper.c
kaps.c
pbqp_node.c
pbqp_node.h
pbqp_node_t.h
vector.c
vector.h