diff --git a/pom.xml b/pom.xml index 0412578..3857590 100644 --- a/pom.xml +++ b/pom.xml @@ -6,15 +6,15 @@ com.naveensundarg planner - 0.01 + 0.50 - logic + com.naveensundarg prover - 0.84 + 0.997