We should rename the project something that has a better chance of being accepted by the Julia package management folks. Maybe something like "GamesOfOrderedPreferences.jl" or similar. At the very least, the repository name and the package name should match.
We should rename the project something that has a better chance of being accepted by the Julia package management folks. Maybe something like "GamesOfOrderedPreferences.jl" or similar. At the very least, the repository name and the package name should match.