satre 1.0.0
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'.
Gemfile:
=
Copiar al portapapeles
¡Copiado!
instalar:
=
dependencias de Runtime (1):
terminal-table
>= 0
dependencias de Development (11):
bundler
~> 1.10
guard-bundler
>= 0
guard-minitest
>= 0
guard-rubocop
>= 0
minitest
>= 0
pry
>= 0
rake
~> 10.0
rspec
>= 0
rubocop
>= 0
simplecov
>= 0
Propietarios:
Autores:
-
Roman C. Podolski
SHA 256 checksum:
=
Copiar al portapapeles
¡Copiado!