updated to work with ClaferIG and default bitwidth. ALso, relaxed cardinality for parents (cannot have fixed 2 parents because a model would require infinite scope).
updated to work with ClaferIG and default bitwidth. ALso, relaxed cardinality for parents (cannot have fixed 2 parents because a model would require infinite scope).

juodaspaulius/bclafer_old,juodaspaulius/clafer-old-customBNFC,gsdlab/clafer,gsdlab/clafer,juodaspaulius/clafer,juodaspaulius/clafer