Oid is an open source, interactive, extensible software system for experimenting with matroids. Since matroids are a generalization of many other combinatorial objects such as graphs, matrices, and linearspaces, a software system for matroids inherently handles all these objects. Oid also has a library of classes can be assembled into programs that are optimized for special applications.
M. Develin, F. Santos, and B. Sturmfels. In "Discrete and Computational Geometry" (E. Goodman, J. Pach and E. Welzl, eds), MSRI Publications, Cambridge Univ. Press, 2005. ISBN-10: 0521848628, (2003)cite arxiv:math/0312114
Comment: 20 pages, 1 figure.
S. Herrmann, A. Jensen, M. Joswig, and B. Sturmfels. (2008)cite arxiv:0808.2383
Comment: 21 pages, 10 figures; rewritten proof of Theorem 4.4 (which was
Theorem 4.3 before) for clarification, several other minor corrections.
A. van Delden, and T. Mossakowski. 36th Annual Conference on Artificial Intelligence (KI 2013), volume 8077 of Lecture Notes in Artificial Intelligence, page 248--259. Springer, (2013)