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'.

Required Ruby Version

>= 0

Authors

Roman C. Podolski

Versions

  1. 1.0.0

    1. source

      1. 1.0.0 source January 17, 2016 (18 KB)
  2. 0.1.0

    1. source

      1. 0.1.0 source January 10, 2016 (14 KB)

SHA 256 checksum

← Previous version