Implemented algorithm OPT for solving programs with weak constraints.
Rewriting of at-least-one aggregate in clause.
Fixed assert when a constraint is a tautology.
Added tests for weak constraints.
More test files.