Skip to content

[patch] Fix 1-ary-and wrapped predicate issue with core localization #59

[patch] Fix 1-ary-and wrapped predicate issue with core localization

[patch] Fix 1-ary-and wrapped predicate issue with core localization #59