stringfuzz icon indicating copy to clipboard operation
stringfuzz copied to clipboard
verified publisher icon dblotsky

stringfuzzg should support norn as a new language

Open Grain opened this issue 7 years ago • 0 comments

Norn only supports SMT-LIB 2.0, though its string syntax is the same as that for the "smt25" language in stringfuzz. A new language should be added that combines the "smt25" string syntax with the SMT-LIB 2.0 syntax.

Grain avatar Apr 20 '18 01:04 Grain