varisat-utils
| Crates.io | varisat-utils |
| lib.rs | varisat-utils |
| version | 0.2.0 |
| source | src |
| created_at | 2022-06-23 22:53:56.130585 |
| updated_at | 2022-06-29 15:37:54.112894 |
| description | Utilities for varisat, adding at-most one and exactly-one constraints |
| homepage | https://github.com/ElchananHaas/varisat-utils/tree/main |
| repository | https://github.com/ElchananHaas/varisat-utils/tree/main |
| max_upload_size | |
| id | 612112 |
| size | 13,776 |
(ElchananHaas)
documentation
README
This is a utilities package for use with varisat. It adds exactly-one and at-most-one constraints using an efficient encoding. It also provides at least k encodings using sorting networks