solhop
| Crates.io | solhop |
| lib.rs | solhop |
| version | 0.1.0 |
| source | src |
| created_at | 2020-10-18 16:29:32.471246 |
| updated_at | 2020-10-18 16:29:32.471246 |
| description | SAT and MaxSAT Solver |
| homepage | https://solhop.org/ |
| repository | https://github.com/solhop/solhop |
| max_upload_size | |
| id | 302250 |
| size | 22,861 |
Prateek Kumar (prateekkumarweb)
documentation
https://docs.rs/solhop/