name(pac).

title('Anonymous predicates expansion utility').

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

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