私は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を使用しています。