
- Scatter expand nemuze mit TT
- RemoveAbsorbed takes a lot of time

Todo:
- CP does not support consensus covers. Create all intersections? (it is in GenerateCoverVector).
- implpool s TT, ale v TT zustavaji vsechny termy, i smazane
- podpora Options u Lag. heuristiky
- ucesat CP (Aura, Lag.)
- zapouzdreni Aura, Lag. CP
- Lag. heuristika (zatim jen B&B)
- reseni timeoutu u exact. CP (kdyz vytimeoutuje, pouzit heuristiku)
- detailed configuration file?
