Lib.rs

jix created 20 crates

• vec_mut_scan

  18K Sole owner since May 2019. Last updated a year ago.

• partial_ref_derive

  18K Sole owner since Dec 2018. Last updated 2 years ago.

• flussab-aiger

  Sole owner since Nov 2023. Last updated 5 months ago.

• flussab-cnf

  Sole owner since Mar 2021. Last updated 5 months ago.

• flussab

  Sole owner since Mar 2021. Last updated 5 months ago.

• cnfpack

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

• rust-actions-cache-api

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

• partial_ref

  17K Unmaintained. Sole owner since Dec 2018.

• varisat

  17K Sole owner since May 2018. Last updated 3 years ago.

• varisat-checker

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

• varisat-internal-proof

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

• varisat-dimacs

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

• varisat-internal-macros

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

• varisat-formula

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

• zwohash

  97K Sole owner since Aug 2020. Last updated 3 years ago.

• corefish

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

• starlit

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

• aucavo

  Sole owner since Sep 2020. Last updated 3 years ago.

• varisat-lrat

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

• varisat-cli

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