- 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]

Bugfix: Update bucket_index if reordering node.

[r22482]

Implemented RI-Reduction (without back propagation).

[r22481]

Added simplification loop.

[r22478]

Initialize and fill node and edge buckets.

[r22475]

- enabled simplification of edges ("infinity propagation" not yet added)
- enabled html dump for edge simplification
- fixed bug in pbqp construction: if we switch source and target (to achieve src_id < tgt_id) we have to transpose the given matrix

[r22473]

Renamed function.

[r22451]

- don't add trivial nodes when using new PBQP solver
- enable dumping the PBQP to a html file

[r22449]

Fix too short allocations and missing initialisation when allocation/copying vectors, simplify.

[r22447]

Simplify vector_copy().

[r22445]

Fix last commit.

[r22444]

Use memset()/memcpy().

[r22443]

Fix too short allocations and missing initialisation when allocation/copying vectors.

[r22442]

- integrated new PBQP solver into existing PBQP transformation, so it can be easily compared to the Scholz solver
- you can switch between the solver using the "USE_KAPS" macro
- removed code that create a zero matrix for each pbqp edge, before the real edge costs are created

[r22440]

Finished edge allocation.

[r22428]

Continued implementation of PBQP solver: Fixed errors and warnings.

[r22425]

Started implementing a new PBQP solver, which should solve PBQPs and the problems/bugs of the Scholz solver.

[r22420]