Implemented support for weighted maxsat (dimacs). We still do not support "huge" weights.
Fixed bug due to weak constraints with weights equal to 0.
Removed optimization aggregate from solver (moved to Opt).