Expand description
Contains traits for conditionally selecting a variable from a list of variables.
Traitsยง
- Cond
Select Gadget - Generates constraints for selecting between one of two values.
- Three
BitCond NegLookup Gadget - Uses three bits to perform a lookup into a table, where the last bit conditionally negates the looked-up value.
- TwoBit
Lookup Gadget - Performs a lookup in a 4-element table using two bits.