SATurne
SAT solver
A verified SAT solver with proof capabilities
Tiny verified SAT-solver
28 stars
2 watching
3 forks
Language: Coq
last commit: almost 3 years ago coqformal-verificationhacktoberfestsatsat-solver
Related projects:
| Repository | Description | Stars |
|---|---|---|
 coq-community/sudoku | A formalisation of Sudoku in Coq to solve the puzzle using a naive Davis-Putnam procedure | 20 |
 lysxia/advent-of-coq-2018 | Formally verifying and implementing solutions to Advent of Code 2018 challenges in Coq | 140 |
 huynhtrankhanh/coqcp | Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof | 22 |
 stepchowfun/proofs | A personal repository of formally verified mathematics using the Coq proof assistant | 291 |
 smtcoq/smtcoq | An OCaml-based plugin for Coq that verifies and extends proof witnesses from external SAT/SMT solvers | 156 |
 uwplse/cheerios | A formally verified serialization library for Coq | 23 |
| coq-community/gaia | A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics | 28 |
| coq-community/fav-ssr | A comprehensive library of verified data structures and algorithms in Coq | 45 |
 ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 152 |
| ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
| coq-community/autosubst | Automates formalizing syntactic theories with variable binders in Coq | 52 |
| coq-community/reglang | Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant | 41 |
 princeton-vl/coqgym | A learning environment for theorem proving with the Coq proof assistant | 384 |
 jscert/jscert | A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter | 196 |
 christianberg/advent | Automated puzzle solution scripts for Advent of Code puzzles in jq | 7 |