Package: de.uuhaus.cl-jointgen

Function clause->bitlist/msb

Lambda List

clause->bitlist/msb (c)

Details

Return a list containing the bits of C, msb first, padded with 0 to numvars value of C.