Data.SBV.Tools.Polynomial

Polynomial arithmetic and CRCs

class Polynomial a

crc

crcBV

ites

mdp

addPoly