Skip to content

Print negative integer constants as (- n) in SMT-LIB2 - #314

Merged
coord-e merged 3 commits into
mainfrom
fix-negative-int-smtlib2
Sep 30, 2026
Merged

Print negative integer constants as (- n) in SMT-LIB2#314
coord-e merged 3 commits into
mainfrom
fix-negative-int-smtlib2

Commits

Commits on Sep 30, 2026