Category
Primary
software-and-applications · embed-ft 0.37
Tree path
Technology & Computing › Computing › Software and Applications
Group (tier-1)
Also (top-3)
Tech stack
Framework
AI readiness
Compliance (GEO / GDPR)
TLD
Overview
Title
GitHub - matteocarde/patty: A Numeric Planner made with SMT · GitHub
Description
A Numeric Planner made with SMT. Contribute to matteocarde/patty development by creating an account on GitHub.
Final URL
Language
en (html)
Scanned at
2026-06-25 19:23:45