Cubehack-DFš-Sprache                                BSN          *
 OR-SPREAD 2.0 (Lineare Optimierung)                 AXG          **
 Prolog V4.0                                         BSN          *