From 84e4d3d1e1e8096dcf873fa2e18f1855eafdd42f Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Tue, 15 Oct 2024 10:37:44 -0400 Subject: [PATCH] Changed project name --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index cb201d0..a96daf3 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Matmod: Verify Relevance Properties for Matrix Models with Implicative Connectives +# VSPursuer: Verify Relevance Properties for Matrix Models with Implicative Connectives Interested in seeing which satisfiable models from [arranstewart/magic](https://github.com/arranstewart/magic) have the variable sharing property?