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

Merge origin/main into fix-negative-int-smtlib2

22d20bd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar