BitsExplorer

BitsExplorer finds what people are building with AI, every day. See today's picks →

Preview of Benchs Generators

Benchs Generators

Collects bench generators of SAT problems (authors, sources, compilation rules, parameters, ...)

Description excerpted from the original listing, which is linked below.

Open it Source code

The week in AI-built software

Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.

Read the latest week