Windows | Games | Mobile | Wallpapers


CrocoPat 2.1

CrocoPat manipulates relations of any arity, including graphs.


Last Week downloads: 0
Total downloads: 65
  • Last Updated: Aug 19, 2010
  • License: LGPL Free
  • OS: Windows /Linux/Mac OS/BSD/Solaris
  • Requirements: No special requirements

User reviews

4 out of 5 based on 1 ratings for CrocoPat 2.1

For CrocoPat 2.1Publisher's description


CrocoPat is a Scripts software developed by Dirk Beyer. After our trial and test, the software is proved to be official, secure and free. Here is the official description for CrocoPat:

Brothersoft Editor: * Relational programming

CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language RML 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.

* Comprehension and assessment of large software systems

Many structural analyses of software systems can be formalized as relational queries, for example the detection of design patterns, of patterns of problematic design, of code clones, of dead code, and of differences between the as-built and the as-designed architecture. Through its efficiency and its expressive language, CrocoPat enables practically important analyses of real-world software systems that are not possible with other graph Analysis tools, in particular analyses that involve transitive closures and the detection of patterns in graphs.

* High level BDD package

While standard BDD packages provide operations for manipulating relations over bits, the CrocoPat Library allows the manipulation of relations over strings. It relieves programmers of mapping strings to binary encodings and user variables to BDD variables.
you can free download CrocoPat 2.1 now.


Please be aware that Brothersoft do not supply any crack, patches, serial numbers or keygen for CrocoPat,and please consult directly with program authors for any problem with CrocoPat.