name(pac).

title('Anonymous predicates expansion utility').

version('2.0.0').
download('http://web.sfc.keio.ac.jp/~mukai/pac-2.0.0.tgz').

author('Kunaki Mukai','mukai@sfc.keio.ac.jp').
keywords([anonymous_predicate,conditional_equation,regular_expression,zdd]).