Release version 1.0.0

peterschrammel · peterschrammel · commit f2ed9bca9f5e · 2020-12-22T14:49:16.000+01:00
diff --git a/pom.xml b/pom.xml
@@ -4,7 +4,7 @@
 
   <groupId>org.cprover.util</groupId>
   <artifactId>cprover-api</artifactId>
-  <version>1.0-SNAPSHOT</version>
+  <version>1.0.0</version>
   <packaging>jar</packaging>
   <name>CProver-API</name>
   <description>CProver Java API</description>
