search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Always print rationals with "/" #31

Closed alex-ozdemir closed 4 years ago

alex-ozdemir commented 4 years ago

We were using gmp to print rationals LFSC expressions.

gmp omits the slash if the denominator is 1.

However, LFSC requires that the slash is always there.

This commit fixes the problem, by printing the slash manually.