Skip to content

@CVC4 CVC4

Change the repository type filter

All

    Repositories list

    6 repositories

    • org.alloytools.alloy

      Public
      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.
      Java
      •
      Other
      •122•1•5•4•Updated Jun 17, 2022Jun 17, 2022

    • signatures

      Public
      Proof signatures for CVC4
      Lean
      •2•4•0•0•Updated Nov 18, 2021Nov 18, 2021

    • homebrew-cvc4

      Public
      Homebrew formula for CVC4
      Ruby
      •7•4•5•2•Updated May 13, 2021May 13, 2021

    • CVC4-archived

      Public archive
      CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
      SMT
      •
      Other
      •4•15•0•0•Updated May 6, 2021May 6, 2021

    • Benchmarks

      Public
      Benchmarks for CVC4
      0•1•0•0•Updated Sep 5, 2017Sep 5, 2017

    • Packages

      Public
      Packaging (Debian, MacPorts, ...) for CVC4
      Tcl
      •2•0•0•0•Updated Mar 19, 2017Mar 19, 2017