RECENT POSTS
- Introduction to FreeBSD Security Best Practices
- Working with Package Management in FreeBSD
- Understanding FreeBSD Security Advisories and Updates
- Troubleshooting Common System Administration Issues in FreeBSD
- Tips for Hardening FreeBSD to achieve System Protection
- Setting Up DHCP Server in FreeBSD
- Secure User and Group Management in FreeBSD Systems
- Secure Remote Access with SSH in FreeBSD
- Optimizing System Performance in FreeBSD
- Network Packet Capture with tcpdump in FreeBSD
- All posts ...
Do you have GDPR compliance issues ?
Check out Legiscope a GDPR compliance software, that will save you weeks of work, automating your documentation, the training of your teams and all processes you need to keep your organisation compliant with privacy regulations
Libsolv
Jul 20, 2023
Package dependency solver using a satisfiability algorithm
This is libsolv, a free package dependency solver using a satisfiability algorithm.
The code is based on two major, but independent, blocks
- Using a dictionary approach to store and retrieve package and dependency information in a fast and space efficient manner.
- Using satisfiability, a well known and researched topic, for resolving package dependencies.
The sat-solver code has been written to aim for the newest packages, record the decision tree to provide introspection, and also allows to provide the user with suggestions on how to deal with unsolvable problems. It also takes advantage of the repository storage to minimize memory usage.
Checkout these related ports:
- Zoneinfo - Updated timezone definitions
- Zine - Simple and opinionated tool to build your own magazine
- Ytree - DOS-XTREE(tm) look-a-like file manager
- Yaunc - Yet another uptimes.net client
- Xtypo - X-based keyboard trainer
- Xtar - View and manipulate contents of a tar file
- Xtail - Watches the growth of files or directories
- Xplr - Hackable, minimal, fast TUI file explorer
- Xosd - X11 on-screen-display program and library
- Xless - X11-based viewer for text files
- Xiphos - Bible interface utilizing the sword framework
- Xgboost - Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT, GBM)
- Xgas - The animated simulation of an ideal gas
- Xfce4-wm-themes - Additional themes for xfwm4
- Xfce4-weather-plugin - Weather plugin for the Xfce panel