Commit graph

74 commits

Author SHA1 Message Date
c189cdb650
Renamed folders to match package structure 2023-10-31 13:41:10 -04:00
7a7b01c009
Renamed folders to match package structure 2023-10-31 13:16:15 -04:00
0e3895d871
Improved caching of operations 2023-10-31 12:07:00 -04:00
61ae5a5ed6
Set default K for BFS runner 2023-10-31 12:05:56 -04:00
24a85a482f
Changed parameters to optionals for BFS 2023-10-31 12:05:44 -04:00
3d01e065a6
Added new case of trivial actions 2023-10-31 12:02:57 -04:00
937ede1026
Removed unused jekyl config 2023-10-31 12:02:29 -04:00
abc2058eb9
Added installation instructions 2023-10-27 11:03:45 -04:00
aad79404af
Renaming imports to support ShadowProver changes 2023-10-27 10:57:15 -04:00
08b9c01f3e
Improvements to BreadthFirstPlanner
- Allow for unbounded search
- Allow for a way to look for a certain number of plans
- Use Pair from standard library
2023-09-26 15:08:10 -04:00
88b5ceee7a
Make planning problem constructor public for other project 2023-09-26 15:06:58 -04:00
959a81b3fd
Skip tests 2023-09-26 15:06:25 -04:00
b764b53c3b
Properly Build Spectra via ShadowProver in GH Action 2023-03-30 16:06:05 -04:00
d9a893e487
Checkout submodule 2023-03-30 16:01:12 -04:00
067db0e5b8
Updating java version 2023-03-30 15:58:37 -04:00
97843c79e0
Install ShadowProver first 2023-03-30 15:55:21 -04:00
007c87e57e
GitHub Compile Action 2023-03-30 15:51:01 -04:00
4f1f9c0b83
Moved snark to submodule 2023-03-30 15:33:03 -04:00
0b01117377
Command check fix 2023-03-29 22:18:35 -04:00
0e3de64cdd
Maven command check 2023-03-29 21:47:43 -04:00
8790ccde66
Argument count check 2023-03-29 21:25:00 -04:00
d6bc88566f
Runner CLI Script 2023-03-29 21:17:09 -04:00
395872a4d4
Breadth First Search Implementation 2023-03-29 21:16:53 -04:00
bad5fb5914
Work to get it to compile 2023-03-29 21:15:57 -04:00
Naveen Sundar Govindarajulu
9532243465 remove unused file 2021-01-04 17:49:21 -08:00
Naveen Sundar Govindarajulu
e4835758b7 Added a docker image containg a Py4J server. 2021-01-04 17:46:04 -08:00
Naveen Sundar Govindarajulu
344824aae8 clean up tests 2021-01-04 15:24:49 -08:00
Naveen Sundar G
eb31602b35
Update Guava 2020-06-16 09:58:42 -07:00
Naveen Sundar Govindarajulu
839b3e3172 Adding a simplifier. 2018-06-18 22:05:40 -07:00
Naveen Sundar Govindarajulu
32e7a8fe4c TORA example 2018-06-18 18:29:40 -07:00
Naveen Sundar Govindarajulu
2624b0c411 Adding in the soda can challenge. 2018-06-15 14:55:57 -07:00
Naveen Sundar Govindarajulu
5ca5fcfc5d pom file 2018-06-15 14:48:38 -07:00
Naveen Sundar Govindarajulu
6764c7faa4 Adding in the soda can challenge. 2018-06-15 14:48:24 -07:00
Naveen Sundar G
411e51dfc9 Set theme jekyll-theme-minimal 2018-06-01 14:10:41 -04:00
Naveen Sundar Govindarajulu
f47ea35b08 Merge branch 'master' of github.com:naveensundarg/Spectra 2018-06-01 13:43:52 -04:00
Naveen Sundar Govindarajulu
96688ccf2e changes 2018-06-01 13:43:49 -04:00
Naveen Sundar Govindarajulu
fc1cbfb5ab Fixes 2018-03-15 00:25:49 -07:00
Naveen Sundar Govindarajulu
e6cfb3e654 A lot of commits. 2018-01-02 14:32:09 -08:00
Naveen Sundar G
8b5a78f323
Update README.md 2017-12-29 00:53:33 -08:00
Naveen Sundar G
aabdc39b8a
Update README.md 2017-12-29 00:52:55 -08:00
Naveen Sundar G
f58f0eecbf
Update README.md 2017-12-29 00:52:08 -08:00
Naveen Sundar G
6abf53c6b5
Update README.md 2017-12-29 00:44:28 -08:00
Naveen Sundar G
df4d99d855
Update README.md 2017-12-29 00:40:04 -08:00
Naveen Sundar G
7722931bd9
Update README.md 2017-12-29 00:25:16 -08:00
Naveen Sundar G
6a47400d33
Update README.md 2017-12-29 00:22:24 -08:00
Naveen Sundar G
df6d93b9d5
Update README.md 2017-12-29 00:21:34 -08:00
Naveen Sundar G
e43943fdc6
Update README.md 2017-12-29 00:14:01 -08:00
Naveen Sundar G
b0f425d3c7
Update README.md 2017-12-29 00:11:50 -08:00
Naveen Sundar G
e723fb5a1e
Update README.md 2017-12-29 00:08:54 -08:00
Naveen Sundar G
3c0df78d28
Create README.md 2017-12-29 00:05:17 -08:00