@hackage / simple-smt

A simple way to interact with an SMT solver process.

Latest0.9.8

About

Metadata

  • Last updated , by IavorDiatchki
  • License BSD-3-Clause
  • Categories Mathematics
  • Maintained by: iavor.diatchki@gmail.com

  • Lottery factor: 1

Links

Installation

Readme

A simple way to interact with an SMT solver process.