/verigraph/
../
LICENSE
README.md
buildVeriGraph_gRPC.xml
examples
pom.xml
service
src
target
tester