CrocoPat 2.1.4

CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language RML (Relation Manipulation Language) is based on first-order predicate calculus. The implementation is based on the data structure binary decision diagram (BDD), which is well-known as a compact representation of large relations in computer-aided verification. CrocoPat is easy to integrate with other tools because it reads and writes relations from and to files in the simple relational text format RSF.




For the purpose of submitting this package to Fedora, here is the RPM spec file.

Back to the RPMS

Last modified: Wed Jan 22 12:33:59 MST 2014 by Jerry James