in some articles, I read that they have configured Konclude and Elk as parallel reasoners with different threads. How can I parallelize Konclude reasoning? can someone link me t
