Main-Class: cvc3/Cvc3
Class-Path: libcvc3.jar