CVC4

org.alloytools.alloy Public Forked from AlloyTools/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.

CVC4/org.alloytools.alloy’s past year of commit activity

Java
1 140 5 4
Updated Jun 17, 2022
CVC4/signatures’s past year of commit activity

Lean
4 2 0 0
Updated Nov 18, 2021
CVC4/homebrew-cvc4’s past year of commit activity

Ruby
4 7 5 2
Updated May 13, 2021
CVC4-archived Public archive
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

CVC4/CVC4-archived’s past year of commit activity

SMT
21 4 0 0
Updated May 6, 2021
CVC4/Benchmarks’s past year of commit activity

1
0
0 0
Updated Sep 5, 2017
CVC4/Packages’s past year of commit activity

Tcl 0
2 0 0
Updated Mar 19, 2017