SATurne
by acorrenson
Tiny verified SAT-solver
AI summary
SAT solver
A verified SAT solver with proof capabilities
- stars
- 28
- forks
- 3
- watching
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Sudoku solver
A formalisation of Sudoku in Coq to solve the puzzle using a naive Davis-Putnam procedure
Verification project
Formally verifying solutions to programming challenges in Coq
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
SMT verification plugin
An OCaml-based plugin for Coq that verifies and extends proof witnesses from external SAT/SMT solvers
Serialization library
A formally verified serialization library for Coq
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Coq IDE
A tool for interactive theorem proving and language support in Coq
Proof assistant library
Python bindings for Coq's interactive proof assistant
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
JavaScript verifier
A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter
Puzzle solver
Automated puzzle solution scripts for Advent of Code puzzles in jq
