eLxr packagesPaquets logiciels dans « aria », Sous-section science
- avogadro-utils (1.97.0-3+b1)
- Molecular Graphics and Modelling System (library)
- coinor-cbc (2.10.8+ds1-1)
- Coin-or branch-and-cut mixed integer programming solver
- coinor-clp (1.17.6-3)
- Coin-or linear programming solver
- coinor-libcbc3 (2.10.8+ds1-1)
- Coin-or branch-and-cut mixed integer programming solver (shared libraries)
- coinor-libcgl1 (0.60.3+repack1-4)
- COIN-OR Cut Generation Library
- coinor-libclp1 (1.17.6-3)
- Coin-or linear programming solver (shared libraries)
- coinor-libcoinutils3v5 (2.11.4+repack1-2)
- Coin-or collection of utility classes (binaries and libraries)
- coinor-libosi1v5 (0.108.6+repack1-2)
- COIN-OR Open Solver Interface
- cpuinfo (0.0~git20220617.082deff-1+deb12u1)
- CPU INFOrmation library (binary utilities)
- gdal-bin (3.6.2+dfsg-1+b2)
- Geospatial Data Abstraction Library - Utility programs
- gdal-data (3.6.2+dfsg-1)
- Geospatial Data Abstraction Library - Data files
- gdal-plugins (3.6.2+dfsg-1+b2)
- Geospatial Data Abstraction Library - Plugins
- geotiff-bin (1.7.1-2+b1)
- GeoTIFF (geografic enabled TIFF) library -- tools
- hdf5-helpers (1.10.8+repack1-1)
- HDF5 - Helper tools
- hdf5-tools (1.10.8+repack1-1)
- HDF5 - Runtime tools
- hfst-ospell (0.5.3-1+b2)
- Spell checker library and tool based on HFST
- indi-dsi (0.4+20221223123028-1)
- INDI driver for Meade DSI Pro I/II/III
- kalzium (4:22.12.3-1)
- periodic table and chemistry tools
- kalzium-data (4:22.12.3-1)
- data files for Kalzium
- libhdf5-jni (1.10.8+repack1-1)
- native library used by libhdf5-java
- libinchi-bin (1.03+dfsg-4+b2 [amd64], 1.03+dfsg-4 [arm64])
- International Chemical Identifier (InChI) algorithm (executable)
- netcdf-bin (1:4.9.0-3+b1)
- Programs for reading and writing NetCDF files
- ogdi-bin (4.1.0+ds-6)
- Open Geographic Datastore Interface Library -- utilities
- openbabel (3.1.1+dfsg-9+b3)
- Chemical toolbox utilities (cli)
- openbabel-gui (3.1.1+dfsg-9+b3)
- Chemical toolbox utilities (graphical user interface)
- proj-bin (9.1.1-1+b1)
- Cartographic projection library (tools)
- step (4:22.12.3-1)
- interactive physical simulator for KDE
- ucx-utils (1.13.1-1)
- Utilities for the UCX messaging library
- z3 (4.8.12-3.1)
- theorem prover from Microsoft Research