johnyf/tool_lists

Links to tools by subject

Size: 63.5 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 375 - Forks: 83

mc-imperial/jfs

Constraint solver based on coverage-guided fuzzing

Language: C++ - Size: 1.64 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 244 - Forks: 20

regb/scala-smtlib

Scala library for parsing and printing the SMT-LIB format

Language: SMT - Size: 948 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 44 - Forks: 24

bohlender/vim-smt2

A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Language: Vim Script - Size: 253 KB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 38 - Forks: 4

oeb25/smtlib-rs

A high-level API for interacting with SMT solvers.

Language: Rust - Size: 330 KB - Last synced at: 6 days ago - Pushed at: 21 days ago - Stars: 28 - Forks: 13

sneeuwballen/benchpress

Testing and benchmarking tool for logic-related programs.

Language: OCaml - Size: 893 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 26 - Forks: 8

zv/z3-mode

An interactive development environment for SMT-LIB files and Z3

Language: Emacs Lisp - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 20 - Forks: 7

zv/sexpr

An encoding, decoding & utility library for S-expressions in Rust

Language: Rust - Size: 238 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 20 - Forks: 3

sushant94/libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers

Language: Rust - Size: 1.69 MB - Last synced at: 23 days ago - Pushed at: almost 6 years ago - Stars: 16 - Forks: 12

bruderj15/Hasmtlib

A monad for interfacing with external SMT solvers

Language: Haskell - Size: 563 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 13 - Forks: 1

louisabraham/mcSATan

A diabolic implementation of mcSAT 😈

Language: Python - Size: 45.9 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 11 - Forks: 2

Columpio/RInGen

Regular Invariant Generator and SMTLIB2 code transformer

Language: SMT - Size: 2.18 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 10 - Forks: 2

c-cube/smtlib-utils

A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.

Language: SMT - Size: 3.62 MB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 4

FedericoAureliano/llama 📦

λama is a work in progress!

Language: Rust - Size: 1020 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 0

Calvin-L/sublime-smtlib

SMTLIB syntax highlighting for Sublime Text 3

Language: SMT - Size: 22.5 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 1

classicwuhao/uran

uran: A small engine for creating formulas accepted by SMT solver.

Language: Java - Size: 73.8 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1

florianschanda/PyVCG

Verification Condition Generator

Language: Python - Size: 94.7 KB - Last synced at: 20 days ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

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

Language: OCaml - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

ferhaterata/vc-gen

Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language

Language: C++ - Size: 19.4 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

mjyc/z3js

A tiny utility library for building z3-powered JavaScript.

Language: JavaScript - Size: 108 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0

AaryaButolia11/birthday-wisher-python

The Automated Birthday Wisher is a Python-based script that reads a list of birthdays from a CSV file and sends personalized birthday emails using pre-written templates via Gmail SMTP. It's hosted on PythonAnywhere to run automatically every day at 12 PM, ensuring your loved ones never miss a birthday greeting.

Language: Python - Size: 0 Bytes - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 1 - Forks: 0

artinmohajeri/Email-Sender-Django-signals-smtplib

Language: Python - Size: 12.7 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

Batuhan1KURT/auto_mail_sender_script_PYTHON-miniproject

Enhance your Python skills with this hands-on intermediate level mini project – the Auto Mail Sender Script.

Language: Python - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

wadoon/smt2key

Translates SMT-lib files to KeY (Theorem Prover) inputs

Language: OCaml - Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

c-cube/tip-parser 📦

[obsolete] parser for https://github.com/tip-org/

Language: OCaml - Size: 91.8 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

delcypher/smt2coral

Language: Python - Size: 72.3 KB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

aztek/tptp2smt

A translator from TPTP to SMT-LIB

Language: Haskell - Size: 17.6 KB - Last synced at: 2 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

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.

Language: HTML - Size: 91.9 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

sgomber/regex-to-smtlib

A tool to translate regular expressions to smt-lib constraints

Language: Python - Size: 20.5 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

timbeurskens/gobdd

An ROBDD & CDCL based SAT solver

Language: Go - Size: 359 KB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

sid86-dev/SMTP-Email

Simple Mail Transfer Protocol using Java script and Python

Language: JavaScript - Size: 3.91 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

mfarif/foobar

Symbolic encoding of a C program.

Language: SMT - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

ModelWriter/smtlib-tool

Eclipse-based SMTLIB Editor

Language: Python - Size: 138 MB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

ferhaterata/smt-vim Fork of raichoo/smt-vim

Vim files for SMT-LIB 2 support

Language: Vim script - Size: 59.6 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

5nizza/smt-queries-from-party

Queries generated by elli.py

Language: SMT - Size: 1.9 MB - Last synced at: about 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0