Revision as of 02:16, 7 December 2020 edit Alfredreich (talk \| contribs) 6 edits →Implementations ← Previous edit		Revision as of 15:08, 13 January 2021 edit undo Johan.Mazel (talk \| contribs) 1 edit →Implementations Next edit →
Line 87: * [https://github.com/m-westphal/gqr GQR] is a reasoner for Allen's interval algebra (and many others) * [https://github.com/alreich/qualreas qualreas] is a Python framework for qualitative reasoning over networks of relation algebras, such as RCC-8, Allen's interval algebra, and Allen's algebra integrated with Time Points and situated in either Left- or Right-Branching Time. * [https://github.com/dwolter/SparQ SparQ] is a reasoner for Allen's interval algebra (and many others) ==See also==

Allen's interval algebra: Difference between revisions