SAT conversion supports objective functions via binary search.
Also use SAT solver for NSP problems.
Minisat from Github.
Use Minisat from third-party folder.