search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Implement `FastInteger` #714

Open Tomaqa opened 6 months ago

Tomaqa commented 6 months ago

... and use it instead of FastRational where denominator is 1.