Updated to work with latest Choco3 library.
Unsat core implemented.