Just tried to add it manually and surprisingly it worked. Here are the steps:
1) go to http://localhost:631 and click on 'add printer' in 'administration'
2) choose 'Internet Printing Protocol (ipps)' or whatever your printer supports
3) add the URI and click next. In my case it was: socket://<IP address>:9100
4) enter name, description, ... and click next
5) choose your driver and click 'add printer'
Hopefully this will work for other printers as well.
Just tried to add it manually and surprisingly it worked. Here are the steps:
1) go to http:// localhost: 631 and click on 'add printer' in 'administration'
2) choose 'Internet Printing Protocol (ipps)' or whatever your printer supports
3) add the URI and click next. In my case it was: socket://<IP address>:9100
4) enter name, description, ... and click next
5) choose your driver and click 'add printer'
Hopefully this will work for other printers as well.