msat
| Crates.io | msat |
| lib.rs | msat |
| version | 0.1.1 |
| source | src |
| created_at | 2020-10-17 09:28:25.567472 |
| updated_at | 2020-10-18 16:26:12.358252 |
| description | MaxSAT Solver |
| homepage | https://solhop.org/msat |
| repository | https://github.com/solhop/msat |
| max_upload_size | |
| id | 301255 |
| size | 7,010 |
Prateek Kumar (prateekkumarweb)
documentation
https://docs.rs/msat/
README
msat
MaxSAT Solver.
Coming soon!
This projetct is still in development. The APIs can change before the first stable release v1.0.0.