我正在编写一个 Ruby 程序,我想在其中使用以下库:
- LTL3 工具。http://ltl3tools.sourceforge.net/
- AT&T FSM 库。http://www2.research.att.com/~fsmtools/fsm/
- LTL2BA 库 www.lsv.ens-cachan.fr/~gastin/ltl2ba/
LTL3 工具是用 OCaml 编写的,AT&T FSM 库是用 C++ 编写的,LTL2BA 库是用 C++ 编写的。LTL3 工具依赖于 AT&T FSM 库和 LTL2BA 库。我有所有这些库的可执行文件和源代码。
如何从 Ruby 代码访问所有这些库?对不起,菜鸟问题,这是我在 Ruby 的第一周。顺便说一句,如果有帮助,我正在使用 Linux Ubuntu。