Prerequisite

This is a tool to obfuscate smtlib2 benchmarks.

Require Linux and python packages in requirements.txt. (Not tested yet in other enviroments)

Run

For arbitrary QF_SLIA/QF_LIA/QF_S smt2 file, first refer to https://github.com/SMT-COMP/scrambler and run scrambler once to obtain an anonymized benchmark.
example.smt2 is a benchmark that is already anonymized if you just want to try out.
To run trans.py, type

python trans.py [input.smt2] [output.smt2]

for example,

python trans.py example.smt2 result.smt2

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
README.md		README.md
example.smt2		example.smt2
requirements.txt		requirements.txt
trans.py		trans.py