T-DSL über SAT unter Linux