Lib.rs

jix created 22 crates

• zwohash

  327K Sole owner since Aug 2020. Last updated 5 years ago.

• vec_mut_scan

  50K Sole owner since May 2019. Last updated 2 years ago.

• flussab-btor2

  Sole owner since Nov 2024. Last updated 11 months ago.

• imctk

  Sole owner since Sep 2024. Last updated a year ago.

• flussab-aiger

  Sole owner since Nov 2023. Last updated a year ago.

• flussab-cnf

  Sole owner since Mar 2021. Last updated 2 years ago.

• flussab

  Sole owner since Mar 2021. Last updated 2 years ago.

• partial_ref

  50K Unmaintained. Sole owner since Dec 2018.

• partial_ref_derive

  50K Sole owner since Dec 2018. Last updated 4 years ago.

• varisat

  50K Sole owner since May 2018. Last updated 5 years ago.

• varisat-checker

  50K Sole owner since May 2019. Last updated 5 years ago.

• varisat-internal-proof

  50K Sole owner since May 2019. Last updated 5 years ago.

• varisat-dimacs

  50K Sole owner since May 2019. Last updated 5 years ago.

• varisat-internal-macros

  50K Sole owner since May 2019. Last updated 5 years ago.

• varisat-formula

  50K Sole owner since May 2019. Last updated 5 years ago.

• cnfpack

  Sole owner since Aug 2021. Last updated 3 years ago.

• rust-actions-cache-api

  Sole owner since Jan 2022. Last updated 3 years ago.

• starlit

  Sole owner since Jan 2021. Last updated 4 years ago.

• varisat-lrat

  Sole owner since May 2019. Last updated 5 years ago.

• varisat-cli

  Sole owner since Sep 2018. Last updated 6 years ago.