A diabolic implementation of mcSAT 😈
-
Updated
Jun 23, 2021 - Python
#
smtlib
Here are 11 public repositories matching this topic...
Verification Condition Generator
-
Updated
Aug 15, 2024 - Python
Enhance your Python skills with this hands-on intermediate level mini project – the Auto Mail Sender Script.
-
Updated
Dec 21, 2023 - 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.
-
Updated
May 11, 2025 - Python
A tool to translate regular expressions to smt-lib constraints
-
Updated
Jun 18, 2023 - Python
html ssl website django web html5 backend django-application django-framework python3 email-sender smtlib contact-form python-django bootstrap5
-
Updated
Jan 9, 2024 - Python
-
Updated
Aug 9, 2018 - Python
A script that sends email if amazon.pl product price drops.
-
Updated
Feb 6, 2023 - 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
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."