smt-solver
Here are 98 public repositories matching this topic...
Yet Another Sat solvER
-
Updated
Jan 3, 2024 - C
An ocaml implementation of conflict-driven reasoning
-
Updated
Jul 13, 2018 - OCaml
A sudoku solver web service utilizing SMT/ILP solver Inez
-
Updated
Nov 5, 2022 - OCaml
Infer Minimalist Grammars using the Z3 SMT-solver
-
Updated
Jul 20, 2023 - Python
DSL: automatic derivation of greedy algorithm and dynamic programming
-
Updated
Oct 9, 2017 - Haskell
solving-satisfaction-problems-with-theorem-provers
-
Updated
Jun 21, 2020 - Python
Agda library for verifying neural networks.
-
Updated
Nov 26, 2020 - Agda
Solving the VLSI problem using various combinatorial optimization technologies
-
Updated
Oct 25, 2022 - SMT
My attempt at understanding the Z3 API for .NET (F#)
-
Updated
Mar 14, 2024
High-level type-safe Rust bindings for the Boolector SMT solver
-
Updated
Jun 5, 2019 - Rust
SAT/UNSAT. The course "Boolean satisfiability problems and their applications" by Roman Kholin at CMC MSU. 🍁 Autumn 2021.
-
Updated
May 10, 2022 - TeX
Liquid Haskell library for verifying neural networks.
-
Updated
Mar 25, 2023 - Haskell
My first SMT solver (only QF_UF)
-
Updated
Jul 8, 2020 - Haskell
gradient-based symbolic execution engine implemented from scratch
-
Updated
Dec 16, 2023 - C++
v-research website
-
Updated
May 7, 2024 - SCSS
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
-
Updated
Mar 6, 2024 - Java
Improve this page
Add a description, image, and links to the smt-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the smt-solver topic, visit your repo's landing page and select "manage topics."