Universal (cross-language) extensible representation for algebraic data type instances.
Why do you think that https://github.com/GaloisInc/aig is a good alternative to uxadt
Universal (cross-language) extensible representation for algebraic data type instances.
Why do you think that https://github.com/GaloisInc/aig is a good alternative to uxadt