higher-graphen-reasoning
v0.7.1crates.io· RustReasoning primitives and engines for HigherGraphen invariants, obstructions, completion, model checking, and abstract interpretation.
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
22 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0
Dependencies
No runtime dependencies
Recent releases
- 0.7.1this month
- 0.7.0this month
- 0.6.0this month
- 0.5.0this month
- 0.4.1this month
- 0.4.01 month ago
- 0.3.01 month ago