ASP-Greedy-Dafny

Demonstration of a greedy algorithm for the Activity Selection Problem using Dafny.

Name		Name	Last commit message	Last commit date
.gitattributes		.gitattributes
.gitignore		.gitignore
ASPGreedy.dfy		ASPGreedy.dfy
ASPGreedy.dll		ASPGreedy.dll
ASPGreedy.runtimeconfig.json		ASPGreedy.runtimeconfig.json
ASPRefactored.dfy		ASPRefactored.dfy
ASPRefactored.dll		ASPRefactored.dll
ASPRefactored.runtimeconfig.json		ASPRefactored.runtimeconfig.json
README.md		README.md

Navigation Menu