cfpq/py_algo_eval
Context-Free Path Querying Solvers Evaluator
65
CFPQ_PyAlgoEval is a tool for experimental comparison of different Context-Free Path Querying (CFPQ) solvers.
The CFPQ problem is a problem of finding paths in an edge-labeled graph such that the concatenation of labels along these paths is a string from a given Context-Free Language (CFL).
For more details, see the EVAL documentation here: EVAL DOCUMENTATION.
docker pull cfpq/py_algo_eval