Skip to content

Saved predicates

Amin Timany requested to merge savedpred into master

As we discussed in the chat I have created a merge request for saved predicates that we use in the runST work.

Edited by Amin Timany

Merge request reports