racer

2019-07-11

Description Logic Reasoner

Upstream URL

github.com/ha-mo-we/Racer

Author

Volker Haarslev, Ralf Moeller, Michael Wessel

License

BSD 3
README

lracer

Lisp client for Racer

License:
BSD 3
Defsystem Dependencies:
  • sb-bsd-sockets

Dependencies:

    None

racer

Description Logic Reasoner

License:
BSD 3
Authors:
Volker Haarslev, Ralf Moeller, Michael Wessel
Dependencies:
  • aserve

  • deflate

  • flexi-streams

Dependencies (3)

  • deflate
  • flexi-streams
  • portableaserve

Dependents (0)

    • GitHub
    • Quicklisp