libqgis-analysis3.22.14
QGIS - shared analysis library
QGIS is a Geographic Information System (GIS) which manages, analyzes and
display databases of geographic information.
libqgis-app3.22.14
QGIS - shared app library
QGIS is a Geographic Information System (GIS) which manages, analyzes and
display databases of geographic information.
libmumps-seq-5.6
Direct linear systems solver - non-parallel shared libraries
MUMPS implements a direct solver for large sparse linear systems, with a
particular focus on symmetric positive definite matrices. It can
operate on distributed matrices e.g. over a cluster. It has Fortran and
C interfaces, and can interface with ordering tools such as Scotch.
chuffed-flatzinc
lazy clause generation FlatZinc implememntation
Chuffed is a state of the art lazy clause solver designed from the
ground up with lazy clause generation in mind. Lazy clause generation
is a hybrid approach to constraint solving that combines features of
finite domain propagation and Boolean satisfiability. It combines
some of the advantages of finite domain constraint programming (high
level model and programmable search) with some of the advantages of
SAT solvers (reduced search by nogood creation, and effective
autonomous search using variable activities).
libmrpt-gui2.12
Mobile Robot Programming Toolkit - gui library
The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform,
and open source C++ library aimed to help robotics researchers to design and
implement algorithms in the fields of Simultaneous Localization and Mapping
(SLAM), computer vision, and motion planning (obstacle avoidance).
libqgis-native3.22.14
QGIS - shared native gui library
QGIS is a Geographic Information System (GIS) which manages, analyzes and
display databases of geographic information.