http://en.wikipedia.org/wiki/ACIS
Standard ACIS Text (SAT)
All biggest progs as Dassault System :)
http://www.3ds.com/