Lib.rs

chrjabs created 14 crates

• scuttle

  Sole owner since Jul 2023. Updated 2 days ago.

• scuttle-core

  Sole owner since May 2025. Updated 2 days ago.

• cadical-veripb-tracer

  Sole owner since May 2025. Updated 2 days ago.

• scuttle-proc

  Sole owner since Sep 2023. Updated 2 days ago.

• maxpre

  Sole owner since Jul 2023. Updated 2 days ago.

• rustsat-batsat

  Sole owner since Oct 2024. Updated 2 days ago.

• rustsat-ipasir

  Sole owner since Apr 2024. Updated 2 days ago.

• rustsat-glucose

  Sole owner since Aug 2023. Updated 2 days ago.

• rustsat-kissat

  Sole owner since Aug 2023. Updated 2 days ago.

• rustsat-tools

  Sole owner since Aug 2023. Updated 2 days ago.

• rustsat-minisat

  2.5K Sole owner since Aug 2023. Updated 2 days ago.

• rustsat-cadical

  Sole owner since Aug 2023. Updated 2 days ago.

• rustsat

  2.6K Sole owner since Jul 2023. Updated 2 days ago.

• pigeons

  Sole owner since Mar 2025. Updated 2 days ago.