hsimho / mightyl Goto Github PK

Hello, I managed to compile and run it anyway, but when I fed in the formula you gave in .mitl files, the program gave the following error:

mightyl: ~/Documents/MightyL/MightyL.cpp:3428: monitaal::TA mightylcpp::build_ta_from_main(mightylcpp::MitlParser::MainContext*): Assertion `std::any_cast<bool>(check_nnf_visitor.visitMain(nnf_formula))' failed.
Aborted (core dumped)

Do you have any idea how to solve it?
Thanks.

Hello, when I tried to compile the code with make, it gave the error of
[ 37%] Building CXX object CMakeFiles/mightyl.dir/main.cpp.o /home/jren313/Documents/MightyL/main.cpp:11:10: fatal error: TA.h: No such file or directory 11 | #include "TA.h" | ^~~~~~ compilation terminated. make[2]: *** [CMakeFiles/mightyl.dir/build.make:111: CMakeFiles/mightyl.dir/main.cpp.o] Error 1 make[1]: *** [CMakeFiles/Makefile2:344: CMakeFiles/mightyl.dir/all] Error 2
My guess is that it didn't compile MoniTAal first before it started mightyL and tried to build main.cpp.