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
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