update readme supported requirements

drexlerd · Apr 12, 2024 · dae5e8e · dae5e8e
1 parent 0a562eb
commit dae5e8e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -18,7 +18,7 @@ Loki is a C++17 library for efficient syntactic and semantic parsing of PDDL fil
 - [ ] :object-fluents
 - [x] :adl
 - [ ] :durative-actions
-- [ ] :derived-predicates
+- [x] :derived-predicates
 - [ ] :timed-initial-literals
 - [ ] :preferences
 - [ ] :constraints