EnricoReg/ModelAbstraction

scripts for generation of abstract model from known action/state evolution