Today's Use Cases

In this chapter we present use cases where LogicNG is used today to solve problems in the German automotive industry. All of the presented use cases are implemented in production systems and have been running for many years, some of them used millions of times a day. Many of these use cases are, however, not specific to the automotive industry and could easily be transformed to other application areas.