Software Distributions

The community is welcome to use the following software developed by my groups. University rules dictate that it is available under terms of the Gnu license.

• The Venus rule language and it's extensions.
• An extensible query optimizer, available as part of the Venus Distribution
• A suite of rule-based benchmarks complete with data generators capable of generating arbitrary size problems for scaling studies.