为varisat提供工具，添加恰好一个和最多一个约束
所有者 ElchananHaas.
#5 in #varisat
13KB 305 行
这是一个用于varisat的工具包。它使用高效的编码添加恰好一个和最多一个约束。它还使用排序网络提供至少k个编码
~4–5.5MB ~106K SLoC