search

ddsmt / ddSMT

A delta debugger for SMT benchmarks in SMT-LIB v2.
https://ddsmt.readthedocs.io
Other
50 stars 17 forks source link

Make multiplication n-ary, just like addition or substration. #17

Closed nafur closed 4 years ago

nafur commented 4 years ago

SMTLIB allows for n-ary multiplication, and QF_NRA even contains benchmarks that have this.