plasp
plasp copied to clipboard
🗺️ ASP planning tools for PDDL
Hello, I am having _**mingw32-make: *** No targets specified and no makefile found. Stop.**_ error after make command during the build process. My OS is Windows 64 bits and i...
This PR switches to C++17 and refines the cmake configuration. The motivation was to make plasp compile on MacOS (which failed badly). Like this, it should in principle even compile...
Hi, The building.md files states the following: ``` git clone https://github.com/potassco/plasp.git cd plasp mkdir -p build/release cd build/release cmake ../.. -DCMAKE_BUILD_TYPE=Release make ``` But this needs to be run for...
1. `fatal error: mapbox/variant.hpp: No such file or directory` Not everyone is used to to git submodules instead of a normal package manager so this should be included in the...