Packages
semantic_verifier
0.1.3
257+
Pure Elixir SMT-LIB2 formal verification engine for FrameNet Semantic IR with persistent Z3 session pools.
Last Updated:
2 months ago
framex
0.1.2
186+
Lazy, read-only queries over a FrameNet JSON artifact
Last Updated:
2 months ago
framex_tools
0.1.1
149+
Profile-based tooling for creating focused Framex corpus artifacts
Last Updated:
2 months ago