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