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

Description

Implementierung des Typunifikationsalgorithmus mit ASP

32 MiB

Languages

Java 99.3%

ANTLR 0.6%

Makefile 0.1%