search

hhu-stups / pyB

pyB
6 stars 0 forks source link

Extend symbolic inf/large set implementation #17

Open JonnyWalker opened 10 years ago

JonnyWalker commented 10 years ago

Large set from -231 to 231 or infinet sets need a better symbolic representation.