Open camall3n opened 2 years ago
IPC domains
Ideally, what we're going to do is to take all the problem files from the original distribution and then randomly generate problems by commenting out specific lines/init atoms in the goal.
IPC domains