/Solvers/dreal4/bazel-bin/dreal/util/_objs/naive_cnfizer/
../
naive_cnfizer.pic.d
naive_cnfizer.pic.o