cauliflower-cflr / cauliflower

A Solver-Generator for CFL-R problems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

Alt text

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.

About

A Solver-Generator for CFL-R problems

License:MIT License


Languages

Language:Java 56.2%Language:C++ 23.4%Language:Shell 11.4%Language:Python 5.3%Language:AMPL 1.3%Language:C 1.2%Language:CMake 0.6%Language:Makefile 0.4%Language:ANTLR 0.2%