BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us
modules.com
⌘K

satre

v1.0.0RubyGems· Ruby

I think therefore I am. Satre is a library for proportional and first order logic. It was inspired by the book 'Handbook of practical logic and automated reasoning' by Harrison, J (2009). This project originated at the Technical university munich as a students project in the lecture 'Basics of Artificial Intelligence'.

The verdict
Abandoned. Last published 10 years ago. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the RubyGems registry · derived rules, not AI
How it scores
MaintenanceAbandoned
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published 10 years ago.
Popularity
6 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
  • 1.0.010 years ago
  • 0.1.010 years ago
satre — I think therefore I am. Satre is a library for proportional and first order logic. It was inspired by the book 'Handbook of practical logic and automated reasoning' by Harrison, J (2009). This project originated at the Technical university munich as a students project in the lecture 'Basics of Artificial Intelligence'. (Ruby / RubyGems) · Modules