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