Jiří Sejkora bcd3818929 Fix combine bound axis not being part of primary key ... This did not impact results, as it only resulted in looser bounds and some bounds not being stored.		2021-02-15 16:45:10 +01:00
..
city.rs	Allow Cities of any sizes	2021-02-11 11:26:37 +01:00
combine-layouts.rs	Add subcity optimization	2021-02-12 04:07:42 +01:00
combine.rs	Add subcity optimization	2021-02-12 04:07:42 +01:00
db.rs	Fix combine bound axis not being part of primary key	2021-02-15 16:45:10 +01:00
import-logs.rs	Add in-memory only databases	2021-02-11 12:00:55 +01:00
main.rs	Add subcity optimization	2021-02-12 04:07:42 +01:00
optimization.rs	Add a bot for one-upping solutions from the leaderboard	2021-02-13 14:43:06 +01:00
optimize-subcity.rs	Add a way to merge subcity improvements into the main city	2021-02-12 04:58:46 +01:00
population.rs	Add in-memory only databases	2021-02-11 12:00:55 +01:00
subcity.rs	Add a way to merge subcity improvements into the main city	2021-02-12 04:58:46 +01:00
upload-bot.rs	Add time output to the bot	2021-02-14 15:32:02 +01:00