From 5ca5fcfc5df84efc801d6c5828f19ab1c8596bbe Mon Sep 17 00:00:00 2001 From: Naveen Sundar Govindarajulu Date: Fri, 15 Jun 2018 14:48:38 -0700 Subject: [PATCH] pom file --- pom.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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