Update sat solver
Merge branch 'feature-sat' into develop
Merge branch 'develop' of github.com:chocoteam/choco3 into develop