A C++ SMT/OMT Parser Library
☆23Mar 14, 2026Updated this week
Alternatives and similar repositories for SOMTParser
Users that are interested in SOMTParser are comparing it to the libraries listed below
Sorting:
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated 8 months ago
- Public reference documents for the SMT-LIB standard☆20Mar 4, 2026Updated 2 weeks ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 3 months ago
- Some tutorials for different approaches to verify neural networks.☆13Sep 23, 2022Updated 3 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- ☆47Feb 2, 2019Updated 7 years ago
- PS3 Firmware PKG tool☆14Jan 2, 2011Updated 15 years ago
- code for paper "DRoC: Elevating Large Language Models for Complex Vehicle Routing via Decomposed Retrieval of Constraints"☆26Feb 4, 2025Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆17Oct 12, 2022Updated 3 years ago
- Models (and data) of constrained problems developped with the library PyCSP3☆14Dec 15, 2025Updated 3 months ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆49Mar 10, 2026Updated last week
- 北航研究生信息系统课表导出为ical格式，可导入日历☆15Sep 19, 2024Updated last year
- 软件学院《程序设计实践》2020小学期仓库☆39Sep 3, 2020Updated 5 years ago
- ☆19Jan 20, 2025Updated last year
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated 10 months ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆20Jan 19, 2023Updated 3 years ago
- A framework to ease parallelization of sequential SAT solvers☆32Jan 14, 2026Updated 2 months ago
- ☆13Dec 31, 2024Updated last year
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- [ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction☆87Mar 23, 2025Updated 11 months ago
- 查看Codeforces GYM的代码☆15Aug 29, 2024Updated last year
- Toolset to do differential testing on the Clang Static Analyzer☆22Nov 21, 2022Updated 3 years ago
- GeoGebra Discovery☆27Feb 28, 2026Updated 2 weeks ago
- ☆30Jul 22, 2025Updated 7 months ago
- ☆25Aug 23, 2024Updated last year
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆140Updated this week
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 2 years ago
- Pokémon Mini ROM disassembler☆13Dec 11, 2020Updated 5 years ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆26Sep 3, 2024Updated last year
- D3CTF-2022-Official-Writeup☆16Mar 11, 2022Updated 4 years ago
- ☆16Sep 27, 2021Updated 4 years ago
- ☆43Dec 16, 2025Updated 3 months ago
- Theory Exploration for Isabelle using HipSpec☆20Jun 7, 2024Updated last year
- ☆37Jun 1, 2022Updated 3 years ago
- A tool to interactively explore the heap of a python process☆25Dec 29, 2020Updated 5 years ago
- Cross platform C++ libraries☆23Updated this week
- Language models for Coq based on data collected from the coq lsp.☆29Feb 23, 2026Updated 3 weeks ago