Use sorted queries and reduce cache for SAT encoding
Use sorted queries and reduce cache for SAT encoding
liveontologies/elk-justifications,liveontologies/elk-justifications,liveontologies/elk-justifications,liveontologies/elk-justifications