12 Search Results
archsat
A first-order theorem prover with formal proof output
dolmen
A parser library for automated deduction
dolmen_bin
A linter for logic languages
dolmen_loop
A tool library for automated deduction tools
dolmen_lsp
A LSP server for automated deduction languages
dolmen_type
A typechecker for automated deduction languages
smbc
Experimental model finder/SMT solver for functional programming
smtlib-utils
Parser for SMTLIB2
tip-parser
Parser for https://tip-org.github.io/format.html
zipperposition
A fully automatic theorem prover for typed higher-order and beyond
2.1
BSD-2-Clause
Used by 0 other packages