John "Pete" Peterson

Support and testing for equality-atom and if-then-else based RDDL-style boolean interoperability

2

Note that this PR is submitted as a draft, since the true PR should probably be opened against a separate feature branch, rather than `devel`. Boolean interop for RDDL requires...

Boolean-valued fluents and RDDL-style boolean & numeric interoperability

37

Related to #90 (Sorry for the amount of text here! I also hope I'm understanding the moving parts in `tarski` correctly, or else I might not be making much sense.)...

General RDDL Improvements & Support

3

As discussed on The Planning Community slack (with Guillem Francès and Emil Keyder). I am interested in extending the existing RDDL support in tarski (and want to do it as...