On 06/10/2014 09:18 PM, Radomir Dopieralski wrote: The name poll is now officially over, and the winner is: horizon_lib You can view the results here: http://civs.cs.cornell.edu/cgi-bin/results.pl?id=E_ea99af9511f3f255 I think we won't need to check for trademark issues with this name, so we can just proceed with the split. Thank you everyone for your input! -- Radomir Dopieralski