Giving names to directories with right trailing blanks sometime happens. OS like Linux keep them as they are, untrimmed. Directories with such names cannot be chosen with a python program using ...
Hi, I was facing a problem that part of my clingo codes suddenly fail to run (with infinite grounding). I thought it might be related to the upgrade to version 5.7, but it is not. Here is an example ...