GitHub - XPP-explainable-planning/xpp-ltlf-learner

git submodule update --init --recursive

Build MONA/LTL2FOA

2.ltl2tgba should be in called, otherwise define path in learner/tracechecking/traceCheck.cpp (We will use ltl2foa in future)

Build Learner cd learner && rm -r build && mkdir build && cd build && cmake .. && make

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
Examples		Examples
lib		lib
operators		operators
traceChecking		traceChecking
.gitignore		.gitignore
.gitmodules		.gitmodules
CMakeLists.txt		CMakeLists.txt
LICENSE.md		LICENSE.md
README.md		README.md
cnf.cpp		cnf.cpp
cnf.hpp		cnf.hpp
definitions.hpp		definitions.hpp
main.cpp		main.cpp
operators.txt		operators.txt
parser.cpp		parser.cpp
parser.hpp		parser.hpp
trace_generator.py		trace_generator.py
variable.hpp		variable.hpp
varsDict.cpp		varsDict.cpp
varsDict.hpp		varsDict.hpp

Provide feedback