girl
✿
pages
📚
sections
📦
packages
🌗
home
›
📦 packages
› 📦 kissat
📦 kissat
1 page
✨ every source
debian
all of debian
trixie
fedora
all of fedora
43
44
ubuntu
all of ubuntu
resolute
stonking
K
K
kissat
(1)
Kissat Satisfiability Solver
✨
💅
getting it ready, bestie…