Dexen: A scalable and extensible platform for experimenting with population-based design exploration algorithms | Synapse