Troubleshooting

From sharing our software with third parties, we notice that installation and the execution can fail for the following reasons:

• The software has been updated. Make sure you are using either \textbf{SPLC2019_Artifact} branch (preferred as it will contain future non-breaking improvements for this paper) or the Master branch from commit \textbf{f2d59bc};
• pip is not installed;
• python version used is not the one with right Tensorflow and Keras version;
• You are using Tensorflow in GPU mode without compatible hardware;
• The Feature model you are using is not in a valid Splot or Dimacs format;
• The Feature model you are using is missing attributes of the Block-Cell representation we are using