| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AddGTestSuite.cmake | 931 | logplain |
| -rw-r--r-- | AddSTPGTest.cmake | 1186 | logplain |
| -rw-r--r-- | FindM4RI.cmake | 1563 | logplain |
| -rw-r--r-- | FindMpiCompilers.cmake | 5933 | logplain |
| -rw-r--r-- | FindPerftools.cmake | 4528 | logplain |
| -rw-r--r-- | FindPkgMacros.cmake | 6101 | logplain |
| -rw-r--r-- | FindSqlite3.cmake | 2545 | logplain |
| -rw-r--r-- | FindTBB.cmake | 4247 | logplain |
| -rw-r--r-- | FindValgrind.cmake | 836 | logplain |
| -rw-r--r-- | GetGitRevisionDescription.cmake | 3858 | logplain |
| -rw-r--r-- | GetGitRevisionDescription.cmake.in | 1202 | logplain |
| -rw-r--r-- | cmake_uninstall.cmake.in | 1096 | logplain |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback