Primary LanguagePython
This repository contains scripts for computing inconsistency reasons for HEX-programs.