This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
2016-11-12 18:14:30 +01:00
|
|
|
[submodule "lib/catch"]
|
|
|
|
path = lib/catch
|
2017-11-04 20:54:39 +01:00
|
|
|
url = https://github.com/catchorg/Catch2
|
2017-06-13 19:52:15 +02:00
|
|
|
[submodule "lib/variant"]
|
|
|
|
path = lib/variant
|
|
|
|
url = https://github.com/mapbox/variant
|
2017-06-15 18:10:28 +02:00
|
|
|
[submodule "tests/data/pddl-instances"]
|
|
|
|
path = tests/data/pddl-instances
|
|
|
|
url = https://github.com/potassco/pddl-instances.git
|
2017-10-12 19:05:27 +02:00
|
|
|
[submodule "lib/cxxopts"]
|
|
|
|
path = lib/cxxopts
|
|
|
|
url = https://github.com/jarro2783/cxxopts
|