14 commits

Author	SHA1	Message	Date
James Oswald	6812e5fdf2	Roses updates and Java 17 docs	2024-06-01 01:23:50 -04:00
Brandon Rozek	7760125ea4	Create runner jar	2024-03-29 17:30:57 -04:00
Brandon Rozek	aad79404af	Renaming imports to support ShadowProver changes	2023-10-27 10:57:15 -04:00
Brandon Rozek	959a81b3fd	Skip tests	2023-09-26 15:06:25 -04:00
Brandon Rozek	bad5fb5914	Work to get it to compile	2023-03-29 21:15:57 -04:00
Naveen Sundar Govindarajulu	e4835758b7	Added a docker image containg a Py4J server.	2021-01-04 17:46:04 -08:00
Naveen Sundar G	eb31602b35	Update Guava	2020-06-16 09:58:42 -07:00
Naveen Sundar Govindarajulu	5ca5fcfc5d	pom file	2018-06-15 14:48:38 -07:00
Naveen Sundar Govindarajulu	fc1cbfb5ab	Fixes	2018-03-15 00:25:49 -07:00
Naveen Sundar Govindarajulu	9bdf4fe029	Support for plan methods	2017-12-22 17:44:24 -08:00
Naveen Sundar Govindarajulu	04995c6990	Caching and new problem.	2017-01-23 23:21:01 -08:00
Naveen Sundar Govindarajulu	8d5f2464a1	Checking if an action is non-trivial	2017-01-22 09:33:10 -08:00
Naveen Sundar Govindarajulu	f3ddd342c6	More tweaks	2017-01-15 18:54:56 -05:00
Naveen Sundar Govindarajulu	8c78a2f8e5	First commits.	2017-01-14 22:08:51 -05:00