export declare const specmaticCoreJarName = "specmatic.jar";