Research software

CIRCA members are involved in a number of research software projects, including:

• GAP, including the core system and a number of GAP packages, in particular, for:
  • Group theory: ferret, images
  • Graphs, designs and combinatorics: Digraphs, PatternClass
  • Ring theory: LAGUNA, semirings, Wedderga, UnitLib
  • Data libraries: PrimGrp
  • GAP infrastructure: json, OpenMath, SCSCP, profiling, utils
  • Semigroup theory: Semigroups, Smallsemi
  • and others (some more which are still in development and are not yet redistributed with GAP, could be found here)
• Constraint modelling and solving tools:
  • Minion
  • Savile Row
  • Conjure
  • CSPLib

A separate page also lists publications and PhD theses relevant to GAP development (i.e. describing or resulting in direct contributions to GAP system or GAP packages).