/explore
|
You are here 
|
ochagavia.nl | ||
| | | | |
blog.jak-linux.org
|
|
| | | | | As you may recall from previous posts and elsewhere I have been busy writing a new solver for APT. Today I want to share some of the latest changes in how to approach solving. The idea for the solver was that manually installed packages are always protected from removals - in terms of SAT solving, they are facts. Automatically installed packages become optional unit clauses. Optional clauses are solved after manual ones, they don't partake in normal unit propagation. | |
| | | | |
viccuad.me
|
|
| | | | | viccuad blogs here, when he blogs. And mostly about CS things. | |
| | | | |
codingnest.com
|
|
| | | | | Before I started doing research, I saw SAT solvers as academically interesting but without practical uses ouside of other academic applications. I've since then changed my mind, and I want to change yours, because modern SAT solvers are neat, fast and almost criminally underused by the industry. | |
| | | | |
boucek.me
|
|
| | | FreeBSD 13 does not (yet) contain working Docker machine, although several implementations are on the way. This post explains how to install Docker daemon in Alpine Linux running in Bhyve. It also shows how to create NAT in Bhyve. I have to use NAT, because I use link aggregation (failover) between Wi-Fi and Ethernet. I will use following tools: pf - Packet Filter, part of the base system vm-bhyve, grub2-bhyve - CLI front end for Bhyve tmux - optional, replacement for default cu Networking Link to headin... | ||
