Build

Original SMTLIB2 version

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

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

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
SMTLIB2		SMTLIB2
SMTLIB2Parser		SMTLIB2Parser
Tests		Tests
smtlibv2-grammar @ 13f4f4c		smtlibv2-grammar @ 13f4f4c
.gitignore		.gitignore
.gitmodules		.gitmodules
README.md		README.md
SMTLIB2.sln		SMTLIB2.sln