IssueHuntpschanely/CrossHair
Do you want to work on this issue?
You can request for a bounty in order to promote it!
SymbolicBoundedIntTuple._smt_for_unification raises (or returns an unsatisfiable constraint) instead of returning None #508
pschanely posted onGitHub