Compilers/DNNF_Compiler.h missing
mahi045 opened this issue · 2 comments
mahi045 commented
Hi,
I cannot build KCBox because DNNF_Compiler is missing from src/Compilers.
/KCBox/src/Main.cpp:6:10: fatal error: Compilers/DNNF_Compiler.h: No such file or directory
#include "Compilers/DNNF_Compiler.h"
Also, "src/KC_Languages/DecDNNF.cpp" is missing, which is required by CMakeLists.txt.
Thanks.
-Mahi
ydotlai commented
added. If you have any issues, please let me know.