search

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
150 stars 31 forks source link

fix(symbolic/prefix_printer): Handle negative constants #277

Closed soonhokong closed 2 years ago

soonhokong commented 2 years ago

Close #275

This change is Reviewable

soonhokong commented 2 years ago

+@ZhizhenQin