Skip to content
GitLab
Explore
Sign in
general
stups
ProB 2 Jupyter Kernel
Issues
#2
Allow predicates to be evaluated with an alternate backend
Z3, CVC4, Kodkod, etc.