summaryrefslogtreecommitdiff
path: root/examples/api/java/CMakeLists.txt
AgeCommit message (Expand)Author
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-06-29Make ExprManager constructor private (#4669)Andres Noetzli
2020-06-09Language bindings: Enable catching of exceptions (#2813)Andres Noetzli
2020-02-25Sets & Relations Java example (#3816)mudathirmahgoub
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-06-21Add floating-point support in the Java API (#3063)Andres Noetzli
2019-05-15Fix iterators in Java API (#3000)Andres Noetzli
2018-09-22cmake: Add target runexamples.Aina Niemetz
2018-09-22cmake: examples: Configure output directory per target.Aina Niemetz
2018-09-22cmake: Added java examplesAina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback