Rudy’s OBTF Rudolf Adamkovič

Home / Computer science

SATLIB

The de facto the standard

collection of SAT problems for benchmarking

and research in general.

© 2025 Rudolf Adamkovič under GNU General Public License (GPL) version 3 or later.
Made with Emacs and secret alien technologies of yesteryear.