Mathias Fleury's repositories
isabelle-emacs
Clone of isabelle, with LSP extensions in seperate branches
benchmark-submission
Repository for the submission of SMT-LIB benchmarks for the 2023 release.
Language:SMT000
cadical
CaDiCaL SAT Solver
Language:C++MIT000
cryptominisat
An advanced SAT solver
Language:C++NOASSERTION000
frat
DRAT proof processor
Language:Rust000
glucose
The glucose SAT solver
Language:C++MIT000
isabelle-snippets
Snippets for Isabelle/VSCode
Language:JavaScriptNOASSERTION000
satch
SAT Solver SATCH
Language:CMIT000