This is a utilities package for use with varisat. It adds exactly-one and at-most-one constraints using an efficient encoding.