MaxSAT Solver.
Coming soon!
This projetct is still in development. The APIs can change before the first stable release v1.0.0.
This repository has been archived by the owner on Sep 18, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
MaxSAT Solver
License
solhop/msat
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
MaxSAT Solver