rewrite Pegsol in python#20

guicho271828 wants to merge 2 commits intoAI-Planning:mainAI-Planning/pddl-generators:mainfrom

guicho271828:pegsolguicho271828/pddl-generators:pegsolCopy head branch name to clipboard