I

isd

An implementation of Dumer's algorithm for Information Set Decoding.