R4-[LogoSpace] - Tools
R4-[LogoSpace] - Tools: Other qualitative constraint solvers
Calculus-specific constraint solvers
Developed at the University of Freiburg:
- Solver for Allen's interval algebra, by Bernhard Nebel: Paper, Source
- Solver for RCC-8, by Ronny Fehling, Bernhard Nebel, and Jochen Renz: Paper, Source
Generic constraint solvers
- SparQ: SparQ (Spatial Reasoning done Qualitatively) is a collection of tools for qualitative spatial reasoning in applications developed at the University of Bremen.
- QAT: The QAT (Qualitative Algebras Toolkit) project provides tools and libraries for qualitative algebras. It is written in Java and allows for manipulating qualitative algebras and qualitative networks defined on these algebras.