GMP vs boost::multiprecision as a p4-constraints dependency

[fruffy]

P4C currently uses boost::multiprecision to calculate big integers. However, p4-constraints uses GMP. Is there a particular reason why GMP was chosen?

P4C used to have it, but ultimately went with boost because of license concerns. GMP uses GPL, although I do believe it is the variant with linking exceptions.

Reason I am asking is because once we integrate p4-constraints into P4C it would be nice to pick one of these big integer libraries.

[smolkaj]

We felt that GMP was the lighter/more stable dependency of the two, since Boost provides much more than just big integers. That said, this decision wasn't super well researched or anything, using Boost instead may be fine.

[github-actions]

This issue has been open for one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.