Original SMTLIB2 version
git clone --recursive https://github.com/Columpio/SMTLIB2.git
dotnet buildgit clone --branch lemmas --recursive https://github.com/Columpio/SMTLIB2.git
dotnet build-
Notifications
You must be signed in to change notification settings - Fork 1
Columpio/SMTLIB2
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
SMTLIB2 bindings for FSharp