Implements partial refactor to allow for Boolean & Numeric interop (via `FormulaTerm` wrapper) #96

Merged

mejrpete merged 16 commits intoaig-upf:rddl-refactorfrom mejrpete:rddl-refactor

Oct 27, 2020

Commits on Sep 18, 2020

completes implemenation of academic_advising rddl writer integration test (passing)
mejrpete
committed

Commits on Oct 2, 2020

re-enables a test that is now passing again after pull from upstream devel
mejrpete
committed

Commits on Oct 7, 2020

adds option for 2018-style RDDL file format writing -- maintains default to pre-2018
mejrpete
committed

Commits on Oct 16, 2020

adds condition to avoid adding :numeric-fluents simply due to the Boolean sort being attached to the language
mejrpete
committed

Commits on Oct 19, 2020

fixes stdout name issue on macos
mejrpete
committed

Commits on Oct 27, 2020