LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

cvc5

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

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

9mo ago

Recent commits

Latest commits.

Document missing change from 1.3.0 in NEWS (#12134)
82f7bd5Daniel Larraz9mo ago
Disable LFSC on regression (#12133)
8ad1b3fAndrew Reynolds9mo ago
Add stable as a build type (#12128)
b056bd2Andrew Reynolds9mo ago
setDefaults: Use decision=internal for QF_BV. (#12131)
d756273Mathias Preiner9mo ago
Fix nightly failure. (#12130)
6a7dd16Abdalrhman Mohamed9mo ago

Fix sort reps printing bug in get-model command. (#12129)

5cf969aAbdalrhman Mohamed9mo ago

Fix type in macro elaboration of var-elim-ineq (#12126)

ed45999Andrew Reynolds9mo ago

Optimizations for caching evaluation in RARE reconstruction (#12109)

0f0ae82Andrew Reynolds9mo ago

Top contributors

Builders behind this project.