Contributors

The current contributors with their code contributions are listed below:

  • Bernhard Scholz: project lead, design and implementation
  • Herbert Jordan: high-performance parallel data-structures, language extensions including records and components, static type system, major refactoring of the system
  • Paul Subotic: index selection for relations, language extensions (incl. nullary relations, bit-vectors), analysis of networks
  • Raihaan Amod: profiler
  • Alex Jordan: support designing/implementing the object-oriented C++ interface for Soufflé
  • Nicholas Allen: refactoring of the front-end