📚 sections 📦 packages

home › 📦 packages › 📦 picosat

📦 picosat

3 pages

✨ every source

debian

all of debian bookworm trixie

epel

all of epel 10 9

fedora

all of fedora 43 44

ubuntu

all of ubuntu jammy noble resolute stonking

P

picomus(1)simple minimal unsatisfiable core extractor✨
picosat(1)SAT solver with proof and core support✨
picosat.trace(1)SAT solver with proof and core support✨

💅

getting it ready, bestie…

💖 made by girlpages 0.1.9 · rewritten by an LLM, so check the original when it really matters

📜 girlpages was made with 💜 by Naomi Persephone Amethyst under the GPL-3.0-or-later license; each page keeps its own license

💻 girlpages on GitHub: girl and girlc for your terminal, or publish your own

/ search · Ctrl+Enter go to a page · type a name to jump to it in a listing · j k g G q like less · ? all the keys