Programs for working with SMT-LIB files
git clone https://git.8pit.net/smtlib-tools.git
1dist-newstyle/