Explore >> Select a destination
|
You are here 
|
github.com | ||
| | | | |
github.community
|
|
| | | | | Ask questions, get answers, share expertise. | |
| | | | |
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. | |
| | | | |
fa.bianp.net
|
|
| | | | | Announce: first public release of lightning!, a library for large-scale linear classification, regression and ranking in Python. The library was started a couple of years ago by Mathieu Blondel who also contributed the vast majority of source code. I joined recently its development and decided it was about time for ... | |
| | | | |
www.github.com
|
|
| | | my blog, with astro. Contribute to Krayorn/blog development by creating an account on GitHub. | ||
