Spectra

rairlab/Spectra

Fork 0

mirror of https://github.com/RAIRLab/Spectra.git synced 2025-06-20 02:56:34 +00:00

Commit graph

97c028f5d9 Merge branch 'master' of https://github.com/RAIRLab/Spectra master James Oswald 2024-06-01 01:24:35 -04:00
6812e5fdf2 Roses updates and Java 17 docs James Oswald 2024-06-01 01:23:50 -04:00
ea2f6035d7

Added citation and more info James Oswald 2024-05-31 10:53:19 -04:00
c82f08d40b

Fixed spelling Brandon Rozek 2024-03-29 17:43:34 -04:00
95f30f1c5f

Simplified readme Brandon Rozek 2024-03-29 17:42:34 -04:00
f36a886631

Cleanup and updates Brandon Rozek 2024-03-29 17:40:48 -04:00
aec7d98c13

Removed unused domain, commented out debug code time_search Brandon Rozek 2024-03-29 17:37:41 -04:00
f44c75e3a6

Added timing code Brandon Rozek 2024-03-29 17:33:51 -04:00
13b3879630

Removed dead code Brandon Rozek 2024-03-29 17:33:43 -04:00
7760125ea4

Create runner jar Brandon Rozek 2024-03-29 17:30:57 -04:00
59b6845107

Removed dead code Brandon Rozek 2024-03-29 17:30:45 -04:00
8692700b8f

Epistemic problem Brandon Rozek 2024-03-29 16:53:29 -04:00
01883787da

Improving DCEC support - Time based search algorithm - Added new variables ?now and ?next Brandon Rozek 2023-11-20 17:23:49 -05:00
a747b38233

Handling edge cases in precondition -> formula Brandon Rozek 2023-11-20 17:20:48 -05:00
492e7bac14

Updating epistemic and conformant benchmarks Brandon Rozek 2023-11-09 17:22:41 -05:00
d647b0d37d

Fixed bug with empty plan Brandon Rozek 2023-11-09 17:21:27 -05:00
26254f895a

Re-org'd files to match renaming Brandon Rozek 2023-11-06 22:36:19 -05:00
7bbf1b16fd

Adjusting notes Brandon Rozek 2023-11-03 16:13:36 -04:00
48971ad770

Hooked in changes from ShadowProver and introduced grapevine domain Brandon Rozek 2023-11-03 16:13:05 -04:00
f6e1dc19eb

Thoughts on new heuristic Brandon Rozek 2023-11-02 17:37:12 -04:00
135852b74b

Moved search algorithms to folder Brandon Rozek 2023-11-02 17:11:12 -04:00
967b859ecc

Matching the uninformed heuristic default Brandon Rozek 2023-11-02 16:54:40 -04:00
edde3cc8e5

Implemented AStar and rewrote BFS to use AStar algorithm Brandon Rozek 2023-11-02 16:26:20 -04:00
2f08f98845

Cleaning up application of states Brandon Rozek 2023-10-31 15:03:00 -04:00
c189cdb650

Renamed folders to match package structure Brandon Rozek 2023-10-31 13:41:10 -04:00
7a7b01c009

Renamed folders to match package structure Brandon Rozek 2023-10-31 13:16:15 -04:00
0e3895d871

Improved caching of operations Brandon Rozek 2023-10-31 12:07:00 -04:00
61ae5a5ed6

Set default K for BFS runner Brandon Rozek 2023-10-31 12:05:56 -04:00
24a85a482f

Changed parameters to optionals for BFS Brandon Rozek 2023-10-31 12:05:44 -04:00
3d01e065a6

Added new case of trivial actions Brandon Rozek 2023-10-31 12:02:57 -04:00
937ede1026

Removed unused jekyl config Brandon Rozek 2023-10-31 12:02:29 -04:00
abc2058eb9

Added installation instructions Brandon Rozek 2023-10-27 11:03:45 -04:00
aad79404af

Renaming imports to support ShadowProver changes Brandon Rozek 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 Brandon Rozek 2023-09-26 15:08:10 -04:00
88b5ceee7a

Make planning problem constructor public for other project Brandon Rozek 2023-09-26 15:06:58 -04:00
959a81b3fd

Skip tests Brandon Rozek 2023-09-26 15:06:25 -04:00
b764b53c3b

Properly Build Spectra via ShadowProver in GH Action Brandon Rozek 2023-03-30 16:06:05 -04:00
d9a893e487

Checkout submodule gh_action Brandon Rozek 2023-03-30 16:01:12 -04:00
067db0e5b8

Updating java version Brandon Rozek 2023-03-30 15:58:37 -04:00
97843c79e0

Install ShadowProver first Brandon Rozek 2023-03-30 15:55:21 -04:00
007c87e57e

GitHub Compile Action Brandon Rozek 2023-03-30 15:51:01 -04:00
4f1f9c0b83

Moved snark to submodule Brandon Rozek 2023-03-30 15:33:03 -04:00
0b01117377

Command check fix Brandon Rozek 2023-03-29 22:18:35 -04:00
0e3de64cdd

Maven command check Brandon Rozek 2023-03-29 21:47:43 -04:00
8790ccde66

Argument count check Brandon Rozek 2023-03-29 21:25:00 -04:00
d6bc88566f

Runner CLI Script Brandon Rozek 2023-03-29 21:17:09 -04:00
395872a4d4

Breadth First Search Implementation Brandon Rozek 2023-03-29 21:16:53 -04:00
bad5fb5914

Work to get it to compile Brandon Rozek 2023-03-29 21:15:57 -04:00
9532243465 remove unused file Naveen Sundar Govindarajulu 2021-01-04 17:49:21 -08:00
e4835758b7 Added a docker image containg a Py4J server. Naveen Sundar Govindarajulu 2021-01-04 17:46:04 -08:00
344824aae8 clean up tests Naveen Sundar Govindarajulu 2021-01-04 15:24:49 -08:00
eb31602b35

Update Guava Naveen Sundar G 2020-06-16 09:58:42 -07:00
839b3e3172 Adding a simplifier. Naveen Sundar Govindarajulu 2018-06-18 22:05:40 -07:00
32e7a8fe4c TORA example Naveen Sundar Govindarajulu 2018-06-18 18:29:40 -07:00
2624b0c411 Adding in the soda can challenge. Naveen Sundar Govindarajulu 2018-06-15 14:55:57 -07:00
5ca5fcfc5d pom file Naveen Sundar Govindarajulu 2018-06-15 14:48:38 -07:00
6764c7faa4 Adding in the soda can challenge. Naveen Sundar Govindarajulu 2018-06-15 14:48:24 -07:00
411e51dfc9 Set theme jekyll-theme-minimal Naveen Sundar G 2018-06-01 14:10:41 -04:00
f47ea35b08 Merge branch 'master' of github.com:naveensundarg/Spectra Naveen Sundar Govindarajulu 2018-06-01 13:43:52 -04:00
96688ccf2e changes Naveen Sundar Govindarajulu 2018-06-01 13:43:49 -04:00
fc1cbfb5ab Fixes Naveen Sundar Govindarajulu 2018-03-15 00:25:49 -07:00
e6cfb3e654 A lot of commits. Naveen Sundar Govindarajulu 2018-01-02 14:32:09 -08:00
8b5a78f323

Update README.md Naveen Sundar G 2017-12-29 00:53:33 -08:00
aabdc39b8a

Update README.md Naveen Sundar G 2017-12-29 00:52:55 -08:00
f58f0eecbf

Update README.md Naveen Sundar G 2017-12-29 00:52:08 -08:00
6abf53c6b5

Update README.md Naveen Sundar G 2017-12-29 00:44:28 -08:00
df4d99d855

Update README.md Naveen Sundar G 2017-12-29 00:40:04 -08:00
7722931bd9

Update README.md Naveen Sundar G 2017-12-29 00:25:16 -08:00
6a47400d33

Update README.md Naveen Sundar G 2017-12-29 00:22:24 -08:00
df6d93b9d5

Update README.md Naveen Sundar G 2017-12-29 00:21:34 -08:00
e43943fdc6

Update README.md Naveen Sundar G 2017-12-29 00:14:01 -08:00
b0f425d3c7

Update README.md Naveen Sundar G 2017-12-29 00:11:50 -08:00
e723fb5a1e

Update README.md Naveen Sundar G 2017-12-29 00:08:54 -08:00
3c0df78d28

Create README.md Naveen Sundar G 2017-12-29 00:05:17 -08:00
e485f19c64 Set theme jekyll-theme-cayman Naveen Sundar G 2017-12-29 00:04:19 -08:00
9bdf4fe029 Support for plan methods Naveen Sundar Govindarajulu 2017-12-22 17:44:24 -08:00
381bbc60af Solving a seriated cup challenge. Naveen Sundar Govindarajulu 2017-06-10 22:44:47 -07:00
cdb9c455c8 Fix caching bug. Getting demo to work. Naveen Sundar Govindarajulu 2017-01-24 15:40:51 -06:00
5ec5169ae5 some more edits. Naveen Sundar Govindarajulu 2017-01-24 15:24:08 -06:00
04995c6990 Caching and new problem. Naveen Sundar Govindarajulu 2017-01-23 23:21:01 -08:00
17cf8b245d More warming up. Naveen Sundar Govindarajulu 2017-01-22 11:31:57 -08:00
5cc43e4b00 More tweaks. Naveen Sundar Govindarajulu 2017-01-22 11:29:26 -08:00
8d5f2464a1 Checking if an action is non-trivial Naveen Sundar Govindarajulu 2017-01-22 09:33:10 -08:00
079af81ce0 getters and setters added. Naveen Sundar Govindarajulu 2017-01-21 09:15:17 -06:00
bfaaf6d882 Speeding up things Naveen Sundar Govindarajulu 2017-01-21 09:13:58 -06:00
b2da460d5c adding methods to manage the background. Naveen Sundar Govindarajulu 2017-01-19 17:19:46 -05:00
6919c09a4a Delete goal method. Naveen Sundar Govindarajulu 2017-01-19 16:41:07 -05:00
1476d80eab Option to keep empty bindings. Default: keep. Naveen Sundar Govindarajulu 2017-01-19 15:12:10 -05:00
14e418b37a Simplify same room definition Naveen Sundar Govindarajulu 2017-01-18 23:16:33 -05:00
d4c4e71000 Ignore target Naveen Sundar Govindarajulu 2017-01-18 23:04:05 -05:00
489040f567 Remove the tracking files. Naveen Sundar Govindarajulu 2017-01-18 22:59:56 -05:00
d1e0cb891a Some more tweaks Naveen Sundar Govindarajulu 2017-01-18 22:58:41 -05:00
afde7793e5 More tweaks. Naveen Sundar Govindarajulu 2017-01-16 00:02:52 -05:00
c9201bc0b2 working version of the muri demo Naveen Sundar Govindarajulu 2017-01-15 22:13:40 -05:00
f3ddd342c6 More tweaks Naveen Sundar Govindarajulu 2017-01-15 18:54:56 -05:00
598f9b3dff better toString for actions and some more tests. Naveen Sundar Govindarajulu 2017-01-15 09:10:48 -05:00
8c78a2f8e5 First commits. Naveen Sundar Govindarajulu 2017-01-14 22:08:51 -05:00
ecd7c00454 First commit Naveen Sundar Govindarajulu 2017-01-14 22:07:41 -05:00