add SAT.PBO.Context module (work in progress)
add setNoMoreSolution to SAT.PBO.Context module
rewrite PBO functions using SAT.PBO.Context module (work in progress)