{"buildTargets":["clean","light"],"launchTargets":["/home/chenzh/solvers/Light>light()"],"customConfigurationProvider":{"workspaceBrowse":{"browsePath":["/home/chenzh/solvers/Light","/home/chenzh/solvers/Light/kissat-inc"],"compilerArgs":["-c","paras.cpp","-o","paras.o","-O3","-lkissat","-Lkissat-inc/build/","-lpthread","-lz","-lm","-static"],"compilerPath":"/usr/bin/g++","standard":"c++11","windowsSdkVersion":""},"fileIndex":[["/home/chenzh/solvers/Light/light.cpp",{"uri":{"$mid":1,"fsPath":"/home/chenzh/solvers/Light/light.cpp","path":"/home/chenzh/solvers/Light/light.cpp","scheme":"file"},"configuration":{"defines":[],"standard":"c++11","includePath":["/home/chenzh/solvers/Light/kissat-inc"],"forcedInclude":[],"compilerPath":"/usr/bin/g++","compilerArgs":["-c","light.cpp","-o","light.o","-O3","-lkissat","-Lkissat-inc/build/","-lpthread","-lz","-lm","-static"],"windowsSdkVersion":""},"compileCommand":{"command":"g++ -c light.cpp -o light.o -Ikissat-inc -std=c++11 -O3 -lkissat -Lkissat-inc/build/ -lpthread -lz -lm -static","directory":"/home/chenzh/solvers/Light","file":"/home/chenzh/solvers/Light/light.cpp"}}],["/home/chenzh/solvers/Light/basekissat.cpp",{"uri":{"$mid":1,"fsPath":"/home/chenzh/solvers/Light/basekissat.cpp","path":"/home/chenzh/solvers/Light/basekissat.cpp","scheme":"file"},"configuration":{"defines":[],"standard":"c++11","includePath":["/home/chenzh/solvers/Light/kissat-inc"],"forcedInclude":[],"compilerPath":"/usr/bin/g++","compilerArgs":["-c","basekissat.cpp","-o","basekissat.o","-O3","-lkissat","-Lkissat-inc/build/","-lpthread","-lz","-lm","-static"],"windowsSdkVersion":""},"compileCommand":{"command":"g++ -c basekissat.cpp -o basekissat.o -Ikissat-inc -std=c++11 -O3 -lkissat -Lkissat-inc/build/ -lpthread -lz -lm -static","directory":"/home/chenzh/solvers/Light","file":"/home/chenzh/solvers/Light/basekissat.cpp"}}],["/home/chenzh/solvers/Light/main.cpp",{"uri":{"$mid":1,"fsPath":"/home/chenzh/solvers/Light/main.cpp","path":"/home/chenzh/solvers/Light/main.cpp","scheme":"file"},"configuration":{"defines":[],"standard":"c++11","includePath":["/home/chenzh/solvers/Light/kissat-inc"],"forcedInclude":[],"compilerPath":"/usr/bin/g++","compilerArgs":["-c","main.cpp","-o","main.o","-O3","-lkissat","-Lkissat-inc/build/","-lpthread","-lz","-lm","-static"],"windowsSdkVersion":""},"compileCommand":{"command":"g++ -c main.cpp -o main.o -Ikissat-inc -std=c++11 -O3 -lkissat -Lkissat-inc/build/ -lpthread -lz -lm -static","directory":"/home/chenzh/solvers/Light","file":"/home/chenzh/solvers/Light/main.cpp"}}],["/home/chenzh/solvers/Light/solve.cpp",{"uri":{"$mid":1,"fsPath":"/home/chenzh/solvers/Light/solve.cpp","path":"/home/chenzh/solvers/Light/solve.cpp","scheme":"file"},"configuration":{"defines":[],"standard":"c++11","includePath":["/home/chenzh/solvers/Light/kissat-inc"],"forcedInclude":[],"compilerPath":"/usr/bin/g++","compilerArgs":["-c","solve.cpp","-o","solve.o","-O3","-lkissat","-Lkissat-inc/build/","-lpthread","-lz","-lm","-static"],"windowsSdkVersion":""},"compileCommand":{"command":"g++ -c solve.cpp -o solve.o -Ikissat-inc -std=c++11 -O3 -lkissat -Lkissat-inc/build/ -lpthread -lz -lm -static","directory":"/home/chenzh/solvers/Light","file":"/home/chenzh/solvers/Light/solve.cpp"}}],["/home/chenzh/solvers/Light/paras.cpp",{"uri":{"$mid":1,"fsPath":"/home/chenzh/solvers/Light/paras.cpp","path":"/home/chenzh/solvers/Light/paras.cpp","scheme":"file"},"configuration":{"defines":[],"standard":"c++11","includePath":["/home/chenzh/solvers/Light/kissat-inc"],"forcedInclude":[],"compilerPath":"/usr/bin/g++","compilerArgs":["-c","paras.cpp","-o","paras.o","-O3","-lkissat","-Lkissat-inc/build/","-lpthread","-lz","-lm","-static"],"windowsSdkVersion":""},"compileCommand":{"command":"g++ -c paras.cpp -o paras.o -Ikissat-inc -std=c++11 -O3 -lkissat -Lkissat-inc/build/ -lpthread -lz -lm -static","directory":"/home/chenzh/solvers/Light","file":"/home/chenzh/solvers/Light/paras.cpp"}}]]}}