Module select

Contains traits for conditionally selecting a variable from a list of variables.

Traits

• CondSelectGadget
  Generates constraints for selecting between one of two values.
• ThreeBitCondNegLookupGadget
  Uses three bits to perform a lookup into a table, where the last bit conditionally negates the looked-up value.
• TwoBitLookupGadget
  Performs a lookup in a 4-element table using two bits.