Christoph Jabs

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

Crates

name update at owner repo count CI fmt
rustsat-batsat 2025-08-07 13:39:30.576554+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-ipasir 2025-08-07 13:39:04.375375+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-glucose 2025-08-07 13:38:28.923763+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-kissat 2025-08-07 13:37:46.535188+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-tools 2025-08-07 13:37:06.000567+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-minisat 2025-08-07 13:36:19.986717+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat-cadical 2025-08-07 13:35:39.608321+00 Christoph Jabs repo 871 GitHub Action fmt
rustsat 2025-08-07 13:34:39.670328+00 Christoph Jabs repo 871 GitHub Action fmt
pigeons 2025-08-07 13:34:22.878732+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