A s(imple)logic library providing interfaces to external solvers
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src/SLogic
.travis.yml
LICENSE
README.md
Setup.hs
slogic.cabal
stack.yaml

README.md

SLogic

A s(imple) logic library that provides an interface to SMT-solvers supporting quantifier free (non-linear) integer arithmetic (QF_NIA).

Supported Solvers