CrocoPat A tool for querying and manipulating relations
Download

CrocoPat Ranking & Summary

CrocoPat Tags

query manipulate relation manipulate relation binary decision decision diagram querying public relations geometrical relations relations manipulating

CrocoPat Description

CrocoPat is very easy to use because it uses a very simple manipulation and query language based on predicate calculus and its simple file format for relations. It is efficient because it internally represents relations as binary decision diagrams, a data structure that is well-known as a compact representation of large relations. CrocoPat is general, because it manipulates not only graphs (i.e. binary relations), but n-ary relations.

CrocoPat Related Software