CVC4

Stanford

Pinned Repositories

Benchmarks
Benchmarks for CVC4
1 3 00
CVC4-archived
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT16 4 04
homebrew-cvc4
Homebrew formula for CVC4
Language:Ruby4 5 187
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Language:Java1 5 91
Packages
Packaging (Debian, MacPorts, ...) for CVC4
Language:Tcl0 22 00
signatures
Proof signatures for CVC4
Language:Lean4 9 02

CVC4's Repositories

CVC4/CVC4-archived
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT16 4 04
CVC4/homebrew-cvc4
Homebrew formula for CVC4
Language:Ruby4 5 187
CVC4/signatures
Proof signatures for CVC4
Language:Lean4 9 02
CVC4/Benchmarks
Benchmarks for CVC4
1 3 00
CVC4/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Language:Java1 5 91
CVC4/Packages
Packaging (Debian, MacPorts, ...) for CVC4
Language:Tcl0 22 00