bitslice

func GetHints ¶

func GetHints() []solver.Hint

func Partition ¶

func Partition(api frontend.API, v frontend.Variable, split uint, opts ...Option) (lower, upper frontend.Variable)

Partition partitions v into two parts splitted at bit numbered split. The following holds

v = lower + 2^split * upper.

The method enforces that lower < 2^split and upper < 2^split', where split'=nbScalar-split. When giving the option WithNbDigits, we instead use the bound split'=nbDigits-split.