CVC4 software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
    arxiv: Computer Science::Programming Languages | Computer Science::Logic in Computer Science | Computer Science::Mathematical Software

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Share - Bookmark