varisat-utils 0.2.0

Utilities for varisat, adding at-most one and exactly-one constraints
Documentation