4 Commits

Author	SHA1	Message	Date
mudathirmahgoub	7ff15aa749	Refctor Solver.java to extend AbstractPointer (#10064) ... This refactors the Solver class in the java API to extend AbstractPointer similar to other cvc5 classes. It also cleans up redundant code for Abstract pointers. and adds Context.deletePointers to java examples as mentioned in issue #10052.	2023-10-02 06:20:26 +00:00
mudathirmahgoub	590af04a10	Remove reference to solver from java objects (#9147)	2022-10-04 17:06:02 +00:00
Mathias Preiner	d01e59c13b	Update copyright headers for release 1.0 (#8539)	2022-04-05 20:38:57 +00:00
mudathirmahgoub	6c421a8221	Add examples/bags.cpp (#8463)	2022-03-31 15:17:22 +00:00