The program topcom, by Jörg Rambau, computes triangulations of point configurations and oriented matroids, and is available from http://www.rambau.wm.uni-bayreuth.de/TOPCOM/.