4.0.0 com.naveensundarg planner 0.50 org.apache.maven.plugins maven-assembly-plugin 2.4 sandbox com.naveensundarg.planner.Py4JServer jar-with-dependencies sandbox package single server true com.naveensundarg.planner.Py4JServer jar-with-dependencies server package single com.naveensundarg prover 1.40 org.testng testng 6.8 test com.diogonunes JCDP 2.0.1 us.bpsm edn-java 0.5.0 com.google.guava guava [24.1.1,) net.sf.py4j py4j 0.8.1 1.8 1.8 true