A script that sends email if amazon.pl product price drops.

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

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.

A translator from TPTP to SMT-LIB

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

Vim files for SMT-LIB 2 support

A tool to translate regular expressions to smt-lib constraints

λama is a work in progress!

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

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

Queries generated by elli.py

Two SMT-based Fillomino solvers

A tiny utility library for building z3-powered JavaScript.

An ROBDD & CDCL based SAT solver

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

Eclipse-based SMTLIB Editor

An SMT-LIB parser in Prolog

Simple Mail Transfer Protocol using Java script and Python