/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles/install/strip.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles/install/local.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles/install.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles/list_install_components.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles/rebuild_cache.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles/edit_cache.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles/defined.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/minisat/CMakeFiles/install/strip.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/minisat/CMakeFiles/install/local.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/minisat/CMakeFiles/edit_cache.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/minisat/CMakeFiles/minisat_simp.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/minisat/CMakeFiles/install.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/minisat/CMakeFiles/list_install_components.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/minisat/CMakeFiles/rebuild_cache.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/minisat/CMakeFiles/minisat_core.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/minisat/CMakeFiles/minisat-lib-shared.dir
/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/minisat/CMakeFiles/minisat-lib-static.dir
