public interface VersionInfo
Modifier and Type | Field and Description |
---|---|
static String |
reasonerName |
static String |
reasonerVersion |
static final String reasonerName
static final String reasonerVersion
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.