public static interface SatSolverForNative.ICallback extends com.sun.jna.Callback
com.sun.jna.Callback.UncaughtExceptionHandler
FORBIDDEN_NAMES, METHOD_NAME
int
invoke(com.sun.jna.ptr.IntByReference state)
int invoke(com.sun.jna.ptr.IntByReference state)