SMT Expert (Fast SMT/placement programming)