Package ru.ispras.fortress.logic