Skip to content

search: add for-all and exists quantifiers

Administrator requested to merge rvt/query-for-all-exists-quantifiers into master

Created by: rvantonder

WIP

Merge request reports