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.

SRPMS

crocopat-2.1.4-1.fc21.src.rpm

SPECS

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