This repository has been archived by the owner on Sep 18, 2021. It is now read-only.

msat

MaxSAT Solver.

Coming soon!

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

License