SMT solver for the theory of floating-point arithmetic
☆27Jan 30, 2018Updated 8 years ago
Alternatives and similar repositories for gosat
Users that are interested in gosat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated last year
- Floating-point SMTLIB benchmarks☆10Jul 17, 2026Updated 3 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆60May 15, 2026Updated 5 months ago
- Constraint solver based on coverage-guided fuzzing☆248Nov 28, 2023Updated 2 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.
- ☆17Mar 12, 2019Updated 7 years ago
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- ☆33Sep 1, 2026Updated 2 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- TMFRAME, pronounced "time frame", is a binary standard for compactly encoding time series data☆28Aug 1, 2018Updated 8 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated last year
- Reader and writer of HDF5 files☆18Jul 15, 2017Updated 9 years ago
- ☆11Nov 28, 2024Updated last year
- 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.
- ☆12Sep 29, 2020Updated 6 years ago
- ☆29May 20, 2016Updated 10 years ago
- My Blog☆18Oct 17, 2026Updated 3 weeks ago
- Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)☆12Jun 17, 2019Updated 7 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆32Apr 10, 2021Updated 5 years ago
- ☆10Oct 26, 2021Updated 5 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 5 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17May 2, 2018Updated 8 years ago
- ☆49Apr 10, 2024Updated 2 years ago
- differential☆12Oct 30, 2019Updated 7 years ago
- ReBucket: group panic()s by similarity☆12Nov 1, 2019Updated 7 years ago
- Knowledge Enhanced Zero-Shot Visual Relationship Detection☆10May 30, 2024Updated 2 years ago
- ☆15Jun 18, 2023Updated 3 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated 2 years ago
- ☆13Sep 25, 2023Updated 3 years ago
- C source MCDC instrumentation and coverage report generation tool☆12Dec 18, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆20May 5, 2025Updated last year
- Implement LLVM passes in python☆12Feb 2, 2025Updated last year
- ☆12Sep 29, 2021Updated 5 years ago
- Opensource uPlay API Emulator☆13Jan 25, 2016Updated 10 years ago
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 7 months ago
- Virtual machine with a custom instruction set in C☆16Jul 17, 2018Updated 8 years ago
- ☆15Sep 15, 2017Updated 9 years ago