Add semi-naive Datalog evaluation

1 files changed, 5 insertions, 4 deletions

diff --git a/Cargo.toml b/Cargo.toml
index 694bb91..83d51da 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -35,14 +35,15 @@ bitflags = { version = "2.6.0", features = ["serde"] } # bitwise flags
 rand = { version = "=0.8.5", features = ["small_rng"] } # rng
 log = "0.4.21" # logging
 lazy_static = "1.5.0" # global constants
-bimap = {version = "0.6.3", features = ["serde"]} # bijective maps
-strum = {version = "0.27.1", features = ["derive"]} # utility macros for enums
-enum-map = {version = "2.7.3", features = ["serde"]} # enum map
+bimap = { version = "0.6.3", features = ["serde"] } # bijective maps
+strum = { version = "0.27.1", features = ["derive"] } # utility macros for enums
+enum-map = { version = "2.7.3", features = ["serde"] } # enum map
 serde = { version = "1.0.228", features = ["derive"] } # serialization
-bincode = {version = "2.0.1", features = ["serde"]} # binary serialization
+bincode = { version = "2.0.1", features = ["serde"] } # binary serialization
 itertools = "0.15.0" # iterator tools
 syn = "3.0.5" # parser for proc macros
 quote = "1.0.47" # quasiquotation for proc macros
+smallbox = { version = "0.8.8", features = ["coerce"] } # store small objects inline, large ones on the heap
 
 # cfg(target_arch = "wasm32")
 wasm-bindgen = "=0.2.100" # wasm bindings