For program http://cplint.eu/example/inference/plcg.pl in cplint on swish and query
mc_sample_arg(plc(L),20,L,O),argbar(O,C).
I get:
Not enough resources: program_space
I’m using a limit of 3Gb for data in config rlimit.pl
. How do I increase program_space?
Fabrizio