A collection of slides of the SMT course I held at University of Milan in fall 2011
☆10Mar 14, 2015Updated 11 years ago
Alternatives and similar repositories for smtlectures
Users that are interested in smtlectures are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An SMT Solver for strings☆11Jun 22, 2018Updated 8 years ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 4 years ago
- OxiGrid is a pure-Rust electrical power systems simulation and optimisation library. It provides production-grade implementations of AC/D…☆16Jul 3, 2026Updated 3 months ago
- A simple and robust way to call a C compiler from Python☆11Aug 3, 2012Updated 14 years ago
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 3 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆26Dec 6, 2022Updated 3 years ago
- Comparison table of VMX capabilities for a bunch of processors☆13Nov 3, 2020Updated 5 years ago
- Troopers Conference Supporting Materials☆12Apr 8, 2015Updated 11 years ago
- ESP CSI Driver written in Rust☆18Updated this week
- TLB splitting module for the Bareflank Hypervisor.☆12Sep 23, 2018Updated 8 years ago
- Vollautomatische Hilfe für Routenplanung. Plan journeys using connection diagrams☆24Updated this week
- Example of an over all attack using DLL_Wrapper.☆11Aug 22, 2017Updated 9 years ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆30Feb 20, 2014Updated 12 years ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- Superoptimizer using the z3 SMT solver☆17Nov 1, 2025Updated last year
- This repository contains some tools to monitor the UNC_CBO_CACHE_LOOKUP event of the C-Boxes.☆12Oct 11, 2017Updated 9 years ago
- Open-source, end-to-end encrypted Snapchat alternative. Share moments, not your data.☆33Updated this week
- 🐟 Web-based HKube user interface. 🐠☆11Oct 26, 2026Updated last week
- Python bindings for carl☆11May 27, 2025Updated last year
- 🚀 the industry-leading, cloud-native api for enterprise-grade decimal management and integer stabilization.☆20Jul 31, 2026Updated 3 months ago
- Redistributable WinSDK & MSVCRT import libraries☆14Jun 7, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A C++ SMT/OMT Parser Library☆53Updated this week
- generate random valid Shift format ASTs☆18Apr 27, 2022Updated 4 years ago
- A simple SystemVerilog digital phase-locked loop based (roughly) on TI's SDLA005B application note. The design includes a SystemVerilog t…☆16Aug 29, 2022Updated 4 years ago
- ☆12Jun 14, 2017Updated 9 years ago
- Mu-FRET adds refactoring functionality to the Formal Requirements Elicitation Tool (FRET). Originally this work was part of the VALU3S pr…☆13Mar 14, 2026Updated 7 months ago
- AVX512 population count routines☆23Aug 2, 2019Updated 7 years ago
- Simulator or Non-Uniform Cache Architectures☆10Aug 27, 2018Updated 8 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆51Jul 8, 2021Updated 5 years ago
- [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum☆12Jul 15, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The smallest and fastest Base64 implementation in JavaScript based on `atob` and `btoa` from browser native or `Buffer` from node☆13Oct 26, 2026Updated last week
- Scripts and Javascript Glue code to use Z3 in the browser using WASM☆13Jan 10, 2022Updated 4 years ago
- A package for parsing neural network properties in VNN-LIB format☆12Jul 18, 2026Updated 3 months ago
- 饺子翻译-轻量高效便捷的划词翻译软件，专业文献翻译：划词翻译、截图翻译、OCR图片转文字，样样都很强【原创作品】☆15Apr 16, 2024Updated 2 years ago
- It is a tool to analyze the pattern of memory mapped file I/O using Intel pin.☆19Apr 2, 2018Updated 8 years ago
- C compiler written by C. inspired from 9cc https://github.com/rui314/9cc☆13Jan 5, 2019Updated 7 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago