Added description to pom.xml

dhendriks · dhendriks · commit cf5caeb21d89 · 2020-03-13T18:42:55.000+01:00
diff --git a/pom.xml b/pom.xml
@@ -9,6 +9,7 @@
 
     <name>com.github.javabdd</name>
     <url>https://github.com/com-github-javabdd/com.github.javabdd</url>
+    <description>JavaBDD: A Java library for Binary Decision Diagrams (BDDs)</description>
 
     <licenses>
         <license>
