Version

java.lang.Object

org.smtlib.Version

public class Version extends Object

Provides the release version string for jSMTLIB, read from the org.smtlib.resources.version resource bundle.

Constructor Summary

Constructors

Constructor

Description

Version()
Method Summary

Modifier and Type

Method

Description

static String

version()

Returns the release version string for this build of jSMTLIB.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- Version
  
  public Version()
Method Details
- version
  
  public static String version() throws RuntimeException
  
  Returns the release version string for this build of jSMTLIB.
  
  Throws:
  
  RuntimeException