Kotlin/Java API for various SMT solvers
β37Oct 8, 2025Updated 6 months ago
Alternatives and similar repositories for ksmt
Users that are interested in ksmt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- fast and effective way to access and analyze java bytecodeβ32Dec 10, 2025Updated 3 months ago
- πΏ SAT solver wrappers for Kotlinβ11Mar 2, 2024Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformerβ13Aug 8, 2022Updated 3 years ago
- Automated unit test generation and precise code analysis for Javaβ144Oct 27, 2025Updated 5 months ago
- Universal Symbolic Virtual Machineβ28Apr 1, 2026Updated last week
- 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.
- TON Symbolic Analyzerβ26Apr 1, 2026Updated last week
- A superior pairing functionβ15Dec 10, 2018Updated 7 years ago
- Tools for manipulating CHC and related filesβ15Apr 21, 2023Updated 2 years ago
- Symbolic execution engine for .NET Coreβ53Jan 6, 2025Updated last year
- Solver for Constrained Horn Clausesβ51Apr 2, 2026Updated last week
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays aβ¦β331Updated this week
- Code for enumeration from a CFGβ20Sep 25, 2023Updated 2 years ago
- An ICE-based predicate synthesizer for Horn clauses.β53Oct 31, 2025Updated 5 months ago
- AE-solver and Skolemizerβ17Dec 9, 2024Updated last year
- NordVPN Threat Protection Proβ’ β’ AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- The Eldarica model checkerβ104Mar 9, 2026Updated last month
- Python version of tools to work with AIG formatted filesβ12May 20, 2025Updated 10 months ago
- TurnKey artifact for Z3β43Oct 27, 2025Updated 5 months ago
- Encoding graphs in graph6, sparse6, and digraph6 formatsβ12Apr 24, 2025Updated 11 months ago
- junit tools contest infrastructureβ13Feb 9, 2024Updated 2 years ago
- β13Mar 7, 2024Updated 2 years ago
- Turing machine visualizerβ22Feb 28, 2020Updated 6 years ago
- Datatype-generic object-oriented transformations for OCamlβ17Nov 16, 2025Updated 4 months ago
- Database row search and reference navigation toolβ11Jun 14, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- β12Sep 29, 2021Updated 4 years ago
- A style guide for Haskell code.β14May 26, 2025Updated 10 months ago
- My type-ups for copilot to learn from.β11Aug 30, 2022Updated 3 years ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components β¦β18Mar 3, 2026Updated last month
- SmalL bUt Complete GROne Synthesizerβ43Aug 22, 2024Updated last year
- This project is obsoleted by https://github.com/odnoklassniki/jvmti-toolsβ13Apr 20, 2021Updated 4 years ago
- Documented version of a simple type-theoretic language: Mini-TTβ18May 5, 2019Updated 6 years ago
- Terminal progress written in Kotlinβ19May 25, 2017Updated 8 years ago
- User defined intrinsics, tailrec optimizationβ12Nov 26, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Python3 auto-active verification library (migrated to an Intel project)β25Apr 7, 2022Updated 4 years ago
- Setup Ghidra environment for GitHub Actionsβ16Mar 27, 2026Updated last week
- β20May 30, 2024Updated last year
- JavaSMT - Unified Java API for SMT solvers.β231Apr 1, 2026Updated last week
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.β10Jun 29, 2024Updated last year
- A sample distributed store for my talk about consistency in distributed systemsβ10Nov 5, 2016Updated 9 years ago
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpfβ36Jan 15, 2026Updated 2 months ago