carta

mobical(1) on Linux

The text 4d4d71943e54, as Debian 12 (Bookworm) shipped it.

CaDiCaL Simplified Satisfiability Solver

Flags it lists

mobical(1) on Linux now