Kotlin/Java API for various SMT solvers
☆36Oct 8, 2025Updated 4 months ago
Alternatives and similar repositories for ksmt
Users that are interested in ksmt are comparing it to the libraries listed below
Sorting:
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- A platform for analysis of Java bytecode☆39Oct 14, 2024Updated last year
- ☆14May 12, 2025Updated 9 months ago
- Explyt with an AI agent for coding, testing, and debugging, understands the project structure, follows its style, and integrates tests in…☆13Feb 12, 2026Updated 2 weeks ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated 9 months ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- A superior pairing function☆15Dec 10, 2018Updated 7 years ago
- Automated unit test generation and precise code analysis for Java☆142Oct 27, 2025Updated 4 months ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- ☆20May 30, 2024Updated last year
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…☆15Nov 6, 2021Updated 4 years ago
- Solver for Constrained Horn Clauses☆50Feb 19, 2026Updated last week
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- Universal Symbolic Virtual Machine☆28Dec 10, 2025Updated 2 months ago
- Online BDD Simulation Tool☆25Jul 29, 2025Updated 6 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆310Feb 21, 2026Updated last week
- Symbolic execution engine for .NET Core☆53Jan 6, 2025Updated last year
- AE-solver and Skolemizer☆17Dec 9, 2024Updated last year
- The Eldarica model checker☆102Feb 20, 2026Updated last week
- An ICE-based predicate synthesizer for Horn clauses.☆53Oct 31, 2025Updated 3 months ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Apr 7, 2022Updated 3 years ago
- Automatically exposes web services over HTTP to search for Entity-related data using a powerful query language☆22Jun 22, 2023Updated 2 years ago
- JavaSMT - Unified Java API for SMT solvers.☆231Updated this week
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆36Jan 15, 2026Updated last month
- Java library for running and visualizing Deep Neural Networks trained in Torch.☆26Mar 22, 2025Updated 11 months ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- Logic Programming in Python☆31Sep 28, 2021Updated 4 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- High speed filtering of arbitrarily large JSON documents☆10Updated this week
- Java client for txtai☆40Feb 12, 2026Updated 2 weeks ago
- SmalL bUt Complete GROne Synthesizer☆43Aug 22, 2024Updated last year
- Litmus testing tool for Kotlin/Native☆72Apr 22, 2025Updated 10 months ago
- Gojira is a record and replay framework for Java apps meant for regression testing. It provides complete recording capability within a si…☆13Feb 5, 2025Updated last year
- Automation tool for testing C* OSS that assembles cassandra-diff, nosqlbench, fqltool☆11Mar 20, 2023Updated 2 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- Generalized Optimal Transport Attention with Trainable Priors☆22Jan 25, 2026Updated last month
- Multiplatform dynamic visualization framework including Plotly-kt☆42Feb 1, 2026Updated 3 weeks ago
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago