Update on complaint set and cplex solver

1. complaint set can be generated from comparing two database states
2. cplex solver bug fixed.