Add C++ infrastructure for incremental solutions

Signed-off-by: Christoph Höger <choeger@umpa-net.de>
Preparations for variable structure analysis

Signed-off-by: Christoph Höger <choeger@umpa-net.de>
Add variable struct API

segfaults ...

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
A sparse vector is a map ...

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix offset limits to old dimension

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix example API usage

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Enable delta-LAP solving

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fixed several variable-structure bugs

Performance is not yet good enough.

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>