rsat
| Crates.io | rsat |
| lib.rs | rsat |
| version | 0.1.12 |
| source | src |
| created_at | 2019-09-14 16:36:00.770821 |
| updated_at | 2020-10-18 12:42:10.677839 |
| description | SAT Solver |
| homepage | https://solhop.org/rsat |
| repository | https://github.com/solhop/rsat |
| max_upload_size | |
| id | 164786 |
| size | 45,279 |
Prateek Kumar (prateekkumarweb)
documentation
https://docs.rs/rsat/
README
rsat
SAT Solver.
Currently, a stochastic local search based on probSAT and a CDCL solver based on MiniSAT has been implemented. More algorithms will be available soon.
This projetct is still in development. The APIs can change before the first stable release v1.0.0.