CVC4
diff --git a/‎org.alloytools.alloy.dist/binaries/cvc4_linux‎
610 KB b/‎org.alloytools.alloy.dist/binaries/cvc4_linux‎
610 KB
diff --git a/‎org.alloytools.alloy.dist/binaries/cvc4_mac‎
2.8 MB b/‎org.alloytools.alloy.dist/binaries/cvc4_mac‎
2.8 MB
diff --git a/‎org.alloytools.alloy.dist/binaries/cvc4_win64.exe‎
944 KB b/‎org.alloytools.alloy.dist/binaries/cvc4_win64.exe‎
944 KB