Download CrocoPat

CrocoPat is free software, distributed under the GNU Lesser General Public License (LGPL).

• Linux
• MacOS
• Microsoft Windows
  
• Sun Solaris
  

CrocoPat 2.1.3 (2005-10-11) [stable]:

• Complete
• Select from directory
• What's new in release 2.1.3?
• Benchmarks (Complete, Select from directory) as used in the paper "Efficient Relational Calculation for Software Analysis"
  for comparison with RelView, Grok, MySQL and Quintus Prolog.
  

CrocoPat 2.1.2 (2005-02-12) [stable]:

• Complete
• Select from directory
• What's new in release 2.1.2?
• Benchmarks (Complete, Select from directory) as used in the paper "Efficient Relational Calculation for Software Analysis"
  for comparison with RelView, Grok, MySQL and Quintus Prolog.
  

CrocoPat 2.1.1 (2004-06-11) [stable]:

• Complete
• Select from directory
  

CrocoPat 2.1 (2004-04-25):

• Complete
• Select from directory
  

CrocoPat 2.0 (2004-01-15):

• Complete
• Browse directory
  

CrocoPat 1.3 (2003-09-02):

• Binary download directory

CrocoPat 1.2 (2003-06-24):

• Binary download directory
• Example download directory