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.