sofa reasoner

We have hosted the application sofa reasoner in order to run this application in our online workstations with Wine or directly.

Quick description about sofa reasoner:

Sofa is a CUDA-based reasoner.

Audience: Developers.
User interface: Command-line.
Programming Language: Python.
Categories: