{
    "version": "1.0.0-*",
    "buildOptions": {
        "debugType": "portable",
        "emitEntryPoint": false,
        "outputName": "Microsoft.Z3",
        "compile": [ "../*.cs", "*.cs" ],
        "define": ["DOTNET_CORE"]
    },
    "dependencies": { },
    "frameworks": {
        "netcoreapp1.0": {
            "dependencies": {
                "Microsoft.NETCore.App": {
                    "type": "platform",
                    "version": "1.0.1"
                }
            },
            "imports": "dnxcore50"
        }
    }
}
