| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CodeCoverage.cmake | 11727 | logplain |
| -rw-r--r-- | ConfigCompetition.cmake | 860 | logplain |
| -rw-r--r-- | ConfigDebug.cmake | 969 | logplain |
| -rw-r--r-- | ConfigProduction.cmake | 871 | logplain |
| -rw-r--r-- | ConfigTesting.cmake | 870 | logplain |
| -rw-r--r-- | ConfigureCVC4.cmake | 2642 | logplain |
| -rw-r--r-- | FindABC.cmake | 1202 | logplain |
| -rw-r--r-- | FindANTLR.cmake | 1675 | logplain |
| -rw-r--r-- | FindCLN.cmake | 1024 | logplain |
| -rw-r--r-- | FindCaDiCaL.cmake | 1151 | logplain |
| -rw-r--r-- | FindCryptoMiniSat.cmake | 1376 | logplain |
| -rw-r--r-- | FindGLPK.cmake | 1517 | logplain |
| -rw-r--r-- | FindGMP.cmake | 1043 | logplain |
| -rw-r--r-- | FindHamcrest.cmake | 323 | logplain |
| -rw-r--r-- | FindJUnit.cmake | 690 | logplain |
| -rw-r--r-- | FindLFSC.cmake | 1076 | logplain |
| -rw-r--r-- | FindReadline.cmake | 2422 | logplain |
| -rw-r--r-- | FindSymFPU.cmake | 805 | logplain |
| -rw-r--r-- | FindValgrind.cmake | 412 | logplain |
| -rw-r--r-- | Helpers.cmake | 5056 | logplain |
| -rw-r--r-- | Toolchain-mingw64.cmake | 754 | 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