MaxSAT Solver.
Coming soon!
This projetct is still in development. The APIs can change before the first stable release v1.0.0.
MIT
