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