Kaki

Network update synthesiser supporting concurrent update batches, multiple forwarding and generalised routing policies.

Name		Name	Last commit message	Last commit date
Latest commit History 49 Commits
.idea		.idea
gradle/wrapper		gradle/wrapper
reproducibility		reproducibility
src/main/kotlin		src/main/kotlin
test_resources		test_resources
-		-
.gitignore		.gitignore
Kaki Presentation.pdf		Kaki Presentation.pdf
LICENSE		LICENSE
README.md		README.md
build.gradle.kts		build.gradle.kts
gradle.properties		gradle.properties
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle.kts		settings.gradle.kts

Provide feedback