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.

Patrick Lühne 2288fa891e Replacing user-defined variable names. ... This replaces all user-defined variable names with continuously numbered ones so that they don’t lead to syntax problems in ASP, while still unique and distinguishable. For instance, this avoids problems when variable names contain hyphens, which are allowed in PDDL identifiers but not in ASP variables.		2017-11-25 00:37:09 +01:00
..
pddl	Replacing user-defined variable names.	2017-11-25 00:37:09 +01:00
sas	Removed Boost dependency in assertions.	2017-10-28 16:49:15 +02:00
Language.cpp	Removed Boost dependency in language distinction.	2017-10-28 15:44:37 +02:00