Using this small Matlab package you can check whether a given polytope in Euclidean 3-space is reduced.
If you find a new reduced polytope using this software, please drop us an e-mail.
It contains the zenodo version (https://zenodo.org/record/58491#.WHTR-ZQ9gRM) along with some bugfixes.
This software is licensed under CC BY-SA 4.0 (https://creativecommons.org/licenses/by-sa/4.0/).