Skip to content
GitLab
Explore
Sign in
Allow predicates to be evaluated with an alternate backend
Z3, CVC4, Kodkod, etc.