conform to the WCNF format specification:

* Weights must be smaller than 2^63.
* top must be greater than the sum of the weights of violated soft clauses.
add evalClause, evalAtLeast, evalPBAtLeast, evalPBExactly to SAT.Types module