Skip to content

Improvements to the evaluate function focusing on optimizing derived predicates and existential preconditions resolution #158

Improvements to the evaluate function focusing on optimizing derived predicates and existential preconditions resolution

Improvements to the evaluate function focusing on optimizing derived predicates and existential preconditions resolution #158

Annotations

1 error and 3 warnings

build-and-test (ubuntu-24.04)

failed Nov 5, 2024 in 5m 55s