R4-[LogoSpace] - Tools

R4-[LogoSpace] - Tools: Other qualitative constraint solvers

Calculus-specific constraint solvers

Developed at the University of Freiburg:

 

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.