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.