Build

Original SMTLIB2 version

git clone --recursive https://github.com/Columpio/SMTLIB2.git
dotnet build

SMTLIB2 with (lemma ...) extension

git clone --branch lemmas --recursive https://github.com/Columpio/SMTLIB2.git
dotnet build