Package description update.

sdcondon · Jul 26, 2024 · 1eb0ad2 · 1eb0ad2
1 parent fe9ccf5
commit 1eb0ad2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/SCFirstOrderLogic/SCFirstOrderLogic.csproj b/src/SCFirstOrderLogic/SCFirstOrderLogic.csproj
@@ -8,7 +8,7 @@
     <GenerateDocumentationFile>True</GenerateDocumentationFile>
 
     <GeneratePackageOnBuild>true</GeneratePackageOnBuild>
-    <Description>Basic but fully functional and documented first-order logic implementations. Includes multiple ways to write sentences, as well as simple but extensible chaining and resolution knowledge base implementations that allow for proof tree retrieval.</Description>
+    <Description>Basic but fully functional and documented first-order logic implementations. Includes models for raw and CNF sentences, as well as extensible logic for creating, manipulating, formatting and indexing them.</Description>
     <PackageRequireLicenseAcceptance>false</PackageRequireLicenseAcceptance>
     <PackageTags>first order predicate logic inference engine knowledge base linq</PackageTags>
     <Product>SCFirstOrderLogic</Product>