Main-Class: cvc3/Test
Class-Path: libcvc3-2.3.0.jar

