varisat-utils

Crates.iovarisat-utils
lib.rsvarisat-utils
version0.2.0
sourcesrc
created_at2022-06-23 22:53:56.130585
updated_at2022-06-29 15:37:54.112894
descriptionUtilities for varisat, adding at-most one and exactly-one constraints
homepagehttps://github.com/ElchananHaas/varisat-utils/tree/main
repositoryhttps://github.com/ElchananHaas/varisat-utils/tree/main
max_upload_size
id612112
(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
Commit count: 0

cargo fmt