https://github.com/leanprover/smt2_interface

Interface to SMT2 solvers
https://github.com/leanprover/smt2_interface

Last synced: 12 months ago
JSON representation

Interface to SMT2 solvers

• Host: GitHub
• URL: https://github.com/leanprover/smt2_interface
• Owner: leanprover
• License: apache-2.0
• Created: 2017-04-18T21:07:01.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2019-01-18T15:26:48.000Z (over 7 years ago)
• Last Synced: 2025-02-16T23:42:05.747Z (over 1 year ago)
• Language: Lean
• Size: 49.8 KB
• Stars: 9
• Watchers: 7
• Forks: 7
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# smt2_interface

[![Build Status](https://travis-ci.org/leanprover/smt2_interface.svg?branch=master)](https://travis-ci.org/leanprover/smt2_interface)

Interface to SMT2 solvers