Cauliflower

C__auli__FL__owe__R is a Context-Free Language Reachability (CFL-R) engine.

It is currently under active development. Check this space for updates/release notes.

Architecture

Modular as possible:

• Problem : definition of the problem templated by evaluation specification
• Relation: a group of ADTs
• ADT: generic template for the abstract datatype:
  • dense representations
  • neighbourhood maps
  • quadtrees
• Relation Buffer: buffer for reading in relational information

Development/Contribution

Contributions are always welcome :)

Milestones

I just release every-so-often.