Bind numerical library versions into gap and bridge kernel identity; make monotonicity properties non-vacuous (G7 review nits) - #1182

Bind numerical library versions into gap and bridge kernel identity; make monotonicity properties non-vacuous (G7 review nits)#1182

MaxGhenis merged 1 commit into

mainPolicyEngine/microcosm:mainfrom

transport/g7-review-nitsPolicyEngine/microcosm:transport/g7-review-nitsCopy head branch name to clipboard