scala-smtlib icon indicating copy to clipboard operation
scala-smtlib copied to clipboard

Published 20 hours ago • verified publisher icon regb

Support tab as blank

Open zgrannan opened this issue 3 years ago • 0 comments

The lexer now accepts tabs as blank symbols and skips over them appropriately.

zgrannan avatar Aug 31 '22 23:08 zgrannan