/SMTLIB2

SMTLIB2 bindings for FSharp

Primary LanguageC#

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