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