fix a bug of printing models instead of objective values
add IModel class in SAT module to generalize Model type
handle initial solutions of PB/WBO problems correctly
rename PB related functions to match its types