Languages

Languages

SENTIL ships native SDKs for Rust, Python, C, C++, Java, Julia, MATLAB, and the command line, plus platform modules for ROS 2, Apollo, AUTOSAR, and microcontrollers.

SENTIL is written in Rust but it's made as independent as possible. A Python user needs no Rust toolchain and no C compiler, because the wheel carries the compiled core inside it, and the same holds for every other package.

Language SDKs

BindingDistributorInstallCapability
Rustcrates.iocargo add sentilFull
PythonPyPIpip install sentilFull
CGitHub release / vcpkg / Conanrelease .deb or .rpm, or vcpkg install sentilFull
C++vcpkg / Conanvcpkg install sentil-cppFull
JavaMaven Centralio.github.sedislab:sentil:0.3.0Full
JuliaGeneral registry] add SentilFull
MATLABFile ExchangeSentil.mltbx (R2021b+)Full
CLIcrates.io / Homebrew / Scoop / Wingetcargo install sentil-cliFull

Platform integrations

IntegrationDistributorInstallCapability
ROS 2rosdistrosudo apt install ros-humble-sentil-ros (Humble, Jazzy, Kilted, Lyrical)Full
Apollosource moduleBazel module modules/sentilFull
AUTOSAR Adaptivesource componentsentil-autosar-adaptive over ara::comFull
EmbeddedArduino / PlatformIO / ESP-IDF / ZephyrArduino Library Manager: SentilMonitoring and on-chip planning

Full capability means the binding has all the same features and capabilities of the core. The embedded target runs the streaming STL monitor in full, plus offline robustness, multi-formula monitoring, and on-chip planning with the receding-horizon controller and safety filter. It cannot host statistical model checking or the GPU path, because a microcontroller has neither the memory nor the parallel hardware those need. The full scope is on the embedded page.

Across bindings

Edit this page on GitHub