haol-05/moondatalog/cmd/main does not have a README file
Install
A pure MoonBit Datalog query engine with stratified negation, aggregation, static checks and moon prove formal verification.
No dependents
Powered by MoonBit
© 2026 mooncakes.io