Merge pull request #142 from nakengelhardt/fix_backslash_smt2
authorN. Engelhardt <nak@yosyshq.com>
Mon, 28 Mar 2022 14:32:10 +0000 (16:32 +0200)
committerGitHub <noreply@github.com>
Mon, 28 Mar 2022 14:32:10 +0000 (16:32 +0200)
commit3d8f56b89a0619b157699e3e245fddef7fc6b21a
tree512941c69b849a4f101c260de304b6dd4233f72a
parent7a4a8e6bf627153203a7e2d57092f2c356e8bb1b
parent5dc7fc9a4d7eda59ce49d7553c48603d22a40467
Merge pull request #142 from nakengelhardt/fix_backslash_smt2

translate backslashes in cell names the same way as smt2 backend does