Christoph Jabs

nameChristoph Jabs
Crates.io:chrjabs
GitHub user:chrjabs
name repo

Crates

name update at owner repo count CI fmt
rustsat-kissat 2025-10-18 13:04:19.192488+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-ipasir 2025-10-18 13:03:28.970537+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-glucose 2025-10-18 13:03:02.620333+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-tools 2025-10-18 13:02:19.19515+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-cadical 2025-10-18 13:01:05.606255+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-minisat 2025-10-18 12:59:43.047342+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-batsat 2025-10-18 12:59:02.88943+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat 2025-10-18 12:58:38.822479+00 Christoph Jabs repo 871 GitHub Action fmt
pigeons 2025-10-18 12:58:14.661418+00 Christoph Jabs repo 871 GitHub Action fmt
scuttle 2025-05-01 16:32:07.736309+00 Christoph Jabs repo 187 NA fmt
scuttle-core 2025-05-01 16:31:10.164722+00 Christoph Jabs repo 187 NA fmt
cadical-veripb-tracer 2025-05-01 16:28:21.313417+00 Christoph Jabs repo 187 NA fmt
scuttle-proc 2025-05-01 16:25:12.422075+00 Christoph Jabs repo 187 NA fmt
maxpre 2025-05-01 16:07:11.279013+00 Christoph Jabs repo 29 NA fmt