diff options
Diffstat (limited to '.cproject')
-rw-r--r-- | .cproject | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -362,3 +362,4 @@ </buildTargets> </storageModule> </cproject> + |
index : cvc5.git | ||
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
summaryrefslogtreecommitdiff |
-rw-r--r-- | .cproject | 1 |
@@ -362,3 +362,4 @@ </buildTargets> </storageModule> </cproject> + |