Dear Mikhail! Thanks for taking care of this project! This is to report, that the last versions of FaCT++ (e.g. 1.7.0, see https://bitbucket.org/dtsarkov/factplusplus) have slightly changed folder layout, so compilation fails.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Dear Mikhail! Thanks for taking care of this project! This is to report, that the last versions of FaCT++ (e.g. 1.7.0, see https://bitbucket.org/dtsarkov/factplusplus) have slightly changed folder layout, so compilation fails.