name(pac).

title('Anonymous predicates expansion utility').

version('1.7.3').
download('http://web.sfc.keio.ac.jp/~mukai/pac-1.7.3.tgz').
author('Kunaki Mukai','mukai@sfc.keio.ac.jp').
keywords([anonymous_predicate,conditional_equation,regular_expression,zdd]).