Beast code in Giters

cvc5's repositories

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Language:SMTNOASSERTION1020 35 2590

A Flexible and Efficient Proof Checker for SMT Solvers

Language:C++NOASSERTION14 7 4

LFSC Proof Checker

Language:C++NOASSERTION11 23 22

A Z3Py-compatible interface to cvc5

Language:PythonNOASSERTION6 13 6

Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF

Language:JavaScript1 90

Language:HTML1 110

Language:Ruby1 13 2

Repository for source code of cvc5 tutorials

Language:Python1 50

Archived cvc5 software dependencies

050

Language:HTML090

Generates Isabelle lemmas from RARE rewrite rules

Language:Isabelle050

Repository for maven verification

050

A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point

Language:C++GPL-3.0010

Language:Slash040

The DRAT-trim proof checker

Language:CMIT010