msat

MaxSAT Solver.

Coming soon!

This projetct is still in development. The APIs can change before the first stable release v1.0.0.

License

MIT