First of all thanks to the miner who found our solution and special thanks to Dynex for letting us be early testers, the Job was to find the most optimum column positionings for the provided structural system.

Problem was converted from computational Design to MAX-SAT. Usually, it takes minimum 24 hours for us to analyze the structural system and provide a solution. Dynex took 1 minute to find our solution!