ConjecturSDK