| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-09-22 | cmake: Only build libcvc4 and libcvc4parser as libraries. | Mathias Preiner | |
| The sources of all previous libraries are now added to libcvc4 and built as libcvc4. This removes circular dependencies between libcvc4 and libexpr. Further, we now only have one parser library and don't build additional libraries for each language. | |||
| 2018-09-22 | cmake: Cleanup CMakeLists.txt files, remove SHARED. | Mathias Preiner | |
| 2018-09-22 | cmake: Working build infrastructure. | Mathias Preiner | |
| TODO: cvc4autoconfig.h | |||
| 2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz | |
 |
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