有时：Scala线性时态逻辑机

Summary SomETIMES is a lightweight library for scala and java, which defines a DSL (Domain Specific Language) for LTL (Linear Temporal Logic). Furthermore it allows to iterate time step by time step in order to evaluate the LTL-Expression. Possible domains are game development, planning simulation etc. Story Let"s say you develop a brilliant game and are currently going to implement some constraints or conditions, so a level is won by satisfying these requirements. Unfortunately, people often run quickly into some non-predictive behaviour of the own written constraint solver, by making some conceptional mistakes or forgetting some fundamental functions. Actually, many games suffer from a not well designed constraint solver. You can see this in many games (e.g. reach a state, from which you can"t complete the level or shorten the level with some uncommon approaches). SomeETIMES proposes to use linear t