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

linux-support-4.18.0-2

Support files for Linux 4.18

elpa-qml-mode

Emacs major mode for editing QT Declarative (QML) code

The package provides a major mode for editing Qt Declarative (QML) code in Emacs. It features syntax highlighting (including component ids highlighting) and basic navigation capabilities.

python3-pymssql

Python database access for MS SQL server and Sybase - Python 3

This package contains a Python module allowing direct access to Microsoft SQL server and Sybase databases. It is designed for simplicity and performance, and conforms to Python DB-API 2.0.

libadasockets8

bindings for socket services in Ada: shared library

libkf5gravatar5abi2

KDE PIM gravatar library

This internal library is a brigde for using the gravatar service from KDE PIM applications.