Solving using MaxSAT has been included and several further solving approaches have been added.
It now bundles the library and contains several source code improvements.
This also includes further modifications from code review.