developing scripts for allowing static-fluent observability, type hirerchy and negative preconditions.
Latest commits.
Builders behind this project.