3 lines (2 loc) · 190 Bytes

Diploma thesis algorithm

This repository contains an implementation of the decision procedure from my diploma thesis "Decidability of Diophantine equations in a theory adjacent to IOpen"