Skip to content

Commit

Permalink
tiny
Browse files Browse the repository at this point in the history
  • Loading branch information
drexlerd committed Jan 4, 2024
1 parent fa2be87 commit 4a4700c
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 2 additions & 0 deletions CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -61,6 +61,8 @@ configure_ccache()
configure_boost()
find_package(Boost ${BOOST_MIN_VERSION})
include_directories(${Boost_INCLUDE_DIRS})
message(${Boost_INCLUDE_DIRS})

#include_directories("${PROJECT_SOURCE_DIR}/external/flatbuffers/include")


Expand Down
2 changes: 0 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
# Loki

ATTENTION: Loki's testing framework must be stronger, and Loki itself must still be tested in production. Therefore, we strongly advise against using it already. However, we are thankful for all kinds of feedback, suggestions, and feature requests.

Loki is a C++17 library for efficient syntactic and semantic parsing of PDDL files. Loki implements exhaustive error handling to provide meaningful clang-style messages for syntactic, semantic, and modeling errors. The resulting PDDL objects are structurally uniquely constructed immutable pointer objects stored in persistent and continuous memory to enable hashing in constant time, equality comparison in constant time, and cache-efficient data access.

## Supported PDDL Requirements
Expand Down

0 comments on commit 4a4700c

Please sign in to comment.