smtlib
Here are 38 public repositories matching this topic...
An encoding, decoding & utility library for S-expressions in Rust
-
Updated
May 31, 2017 - Rust
-
Updated
Aug 9, 2018 - Python
Rust Bindings to interact with SMTLIB2 compliant solvers
-
Updated
Jun 3, 2019 - Rust
A tiny utility library for building z3-powered JavaScript.
-
Updated
Jun 20, 2019 - JavaScript
Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language
-
Updated
Nov 17, 2019 - C++
SMTLIB syntax highlighting for Sublime Text 3
-
Updated
Mar 22, 2020 - SMT
Symbolic encoding of a C program.
-
Updated
Jan 3, 2021 - SMT
A diabolic implementation of mcSAT 😈
-
Updated
Jun 23, 2021 - Python
Python-based robot with pre-programmed functionality to respond to user requests aids in day to day work inspired by sci-fi movies. Smart enough to send emails to different contacts over voice command. Technologies used: Pyttsx3 and speech recognition module.
-
Updated
Nov 30, 2021 - Python
In this project, we have automated the synthesis of loop invariants for a for a very small programming language. It converts SMT-Lib files into SMT2
-
Updated
Dec 7, 2021 - OCaml
An ROBDD & CDCL based SAT solver
-
Updated
Dec 11, 2021 - Go
Improve this page
Add a description, image, and links to the smtlib topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the smtlib topic, visit your repo's landing page and select "manage topics."