Lib.rs

jix created 20 crates

• zwohash

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

• partial_ref_derive

  188K Sole owner since Dec 2018. Last updated 5 years ago.

• partial_ref

  188K Unmaintained. Sole owner since Dec 2018.

• vec_mut_scan

  188K Sole owner since May 2019. Last updated 3 years ago.

• varisat-formula

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

• varisat-dimacs

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

• varisat

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

• varisat-checker

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

• varisat-internal-macros

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

• varisat-internal-proof

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

• flussab-btor2

  Sole owner since Nov 2024. Last updated 2 years ago.

• imctk

  Sole owner since Sep 2024. Last updated 2 years ago.

• flussab-aiger

  Sole owner since Nov 2023. Last updated 2 years ago.

• flussab-cnf

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

• flussab

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

• cnfpack

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

• rust-actions-cache-api

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

• starlit

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

• varisat-lrat

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

• varisat-cli

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