alreich/constraint-algebras

Algebras for qualitative reasoning about time, space, etc.

Common LispMIT