Jeshan Giovanni BABOOA
Jeshan Giovanni BABOOA
understood. I meant to say there _probably_ exists a simpler scenario as I _thought_ that I had found one earlier. I tried to simplify it further to remove the propagator...
nope. this repo is for the sicstus version. the one for scryer was copied into the scryer codebase.
is this why it was just taken off the web store? 