girl
✿
pages
📚
sections
📦
packages
🌗
home
›
📦 packages
› 📦 sat4j
📦 sat4j
1 page
✨ every source
debian
all of debian
bookworm
trixie
ubuntu
all of ubuntu
jammy
noble
questing
resolute
stonking
S
S
sat4j
(1)
efficient library of SAT solvers in Java
✨
💅
getting it ready, bestie…