Howdy,
There is a lot of end-of-the-pipe thinking here. With a snail problem, it's often best to go to the roots: Snail populations explode due to excess food in the tank. Thus, I suggest to reduce feeding and improve tank maintenance (vacuuming). Picking the snails out by hand will be a good start, though. I would not use any chemicals. They're mostly copper-based and harm all invertebrates (i.e. also shrimps) and affect most catfish and other scale-less fish.
HarleyK
There is a lot of end-of-the-pipe thinking here. With a snail problem, it's often best to go to the roots: Snail populations explode due to excess food in the tank. Thus, I suggest to reduce feeding and improve tank maintenance (vacuuming). Picking the snails out by hand will be a good start, though. I would not use any chemicals. They're mostly copper-based and harm all invertebrates (i.e. also shrimps) and affect most catfish and other scale-less fish.
HarleyK