smt
Here are 14 public repositories matching this topic...
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
-
Updated
Oct 9, 2025 - Haskell
A monadic library for symbolic evaluation
-
Updated
Jul 16, 2025 - Haskell
Formally prove properties of Haskell programs using SBV/SMT.
-
Updated
Mar 13, 2025 - Haskell
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
-
Updated
Jan 31, 2022 - Haskell
A friendly functional language for finding counterexamples 🎯
-
Updated
Jul 15, 2024 - Haskell
-
Updated
Oct 4, 2020 - Haskell
Virtual Machine Consolidation in Haskell
-
Updated
Feb 18, 2017 - Haskell
Improve this page
Add a description, image, and links to the smt topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the smt topic, visit your repo's landing page and select "manage topics."