/ASP-Greedy-Dafny

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

Primary LanguageDafny

Watchers

No one’s watching this repository yet.