liblwgeom-2.5-0

PostGIS "Lightweight Geometry" library

libow-php7

Dallas 1-wire support: PHP5 bindings

The 1-Wire bus is a cheap low-speed bus for devices like weather sensors, access control, etc. It can be attached to your system via serial, USB, I2C, and other interfaces.

libow-3.2-2

1-Wire File System full library

python-argon2

Argon2 password hashing library - Python 2.x Module

libfplll5

Library for LLL-reduction of Euclidean lattices, runtime

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).