Implementierung des Typunifikationsalgorithmus

Andreas Stadelmeier db3f3bcbac Many Or Constraint test used for benchmark for KRRUP Seminar presentation		2024-11-28 13:12:30 +01:00
src	Many Or Constraint test used for benchmark for KRRUP Seminar presentation	2024-11-28 13:12:30 +01:00
.gitignore	initial commit	2024-04-25 16:03:18 +02:00
Makefile	initial commit	2024-04-25 16:03:18 +02:00
pom.xml	First Workin Matrix Test	2024-06-10 08:57:04 +02:00
README_aktuelle_Branches	initial commit	2024-04-25 16:03:18 +02:00