public static final String
reasonerName
"jcel"
reasonerVersion
"0.22.0"
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.