KTH-SML / ltl_automaton_core

7 stars 4 forks source link

External LTL2BA build #24

Closed RBinsonB closed 3 years ago

RBinsonB commented 3 years ago

To avoid relying on pre-compiled LTL2BA binaries that wouldn't work on different CPU architectures (notably onboard computers using ARM), this branch externalize LTL2BA. LTL2BA is wrapped in its own ROS package and build on the host machine as the same time as other packages, ensuring the binaries are compatible.