5
A SomewhatMaxSAT Solver (Debian apt)
(blog.jak-linux.org)
there doesn't seem to be anything here
this post was submitted on 26 May 2025
5 points (85.7% liked)
Linux
7467 readers
288 users here now
A community for everything relating to the GNU/Linux operating system
Also check out:
Original icon base courtesy of [email protected] and The GIMP
founded 2 years ago
MODERATORS