smtlib
There are 40 repositories under smtlib topic.
johnyf/tool_lists
Links to tools by subject
mc-imperial/jfs
Constraint solver based on coverage-guided fuzzing
regb/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
bohlender/vim-smt2
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
zv/sexpr
An encoding, decoding & utility library for S-expressions in Rust
oeb25/smtlib-rs
A high-level API for interacting with SMT solvers.
sneeuwballen/benchpress
Testing and benchmarking tool for logic-related programs.
zv/z3-mode
An interactive development environment for SMT-LIB files and Z3
sushant94/libsmt.rs
Rust Bindings to interact with SMTLIB2 compliant solvers
bruderj15/Hasmtlib
A monad for interfacing with external SMT solvers
Columpio/RInGen
Regular Invariant Generator and SMTLIB2 code transformer
louisabraham/mcSATan
A diabolic implementation of mcSAT 😈
jariazavalverde/prolog-smtlib
An SMT-LIB parser in Prolog
c-cube/smtlib-utils
A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.
FedericoAureliano/llama
λama is a work in progress!
Calvin-L/sublime-smtlib
SMTLIB syntax highlighting for Sublime Text 3
classicwuhao/uran
uran: A small engine for creating formulas accepted by SMT solver.
tomvbussel/fillomino
Two SMT-based Fillomino solvers
baptiste-fourmont/synthese-invariant
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
ferhaterata/vc-gen
Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language
florianschanda/PyVCG
Verification Condition Generator
mjyc/z3js
A tiny utility library for building z3-powered JavaScript.
timbeurskens/gobdd
An ROBDD & CDCL based SAT solver
aztek/tptp2smt
A translator from TPTP to SMT-LIB
Batuhan1KURT/auto_mail_sender_script_PYTHON-miniproject
Enhance your Python skills with this hands-on intermediate level mini project – the Auto Mail Sender Script.
c-cube/tip-parser
[obsolete] parser for https://github.com/tip-org/
sgomber/regex-to-smtlib
A tool to translate regular expressions to smt-lib constraints
wadoon/smt2key
Translates SMT-lib files to KeY (Theorem Prover) inputs
BHASKAR0555/AI-Desktop-Assistant-app
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.
walkowskis/amazon_price_email_alert
A script that sends email if amazon.pl product price drops.
cedws/smtlib-go
Go library for generating SMT-LIB problem S-expressions
RahulRmCoder/CraveCrafters-Food-App
CraveCrafters is an AI-powered food ordering web application that seamlessly integrates a chatbot to assist users with menu browsing, order placement, and customer service. The system features a Node.js backend, a FastAPI-based chatbot, and an interactive frontend built with HTML, CSS, and JavaScript. It utilizes MongoDB as its database.
sid86-dev/SMTP-Email
Simple Mail Transfer Protocol using Java script and Python