Lib.rs

jix created 22 crates

• vec_mut_scan

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

• flussab-btor2

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

• imctk

  Sole owner since Sep 2024. Last updated 7 months ago.

• flussab-aiger

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

• flussab-cnf

  Sole owner since Mar 2021. Last updated a year ago.

• flussab

  Sole owner since Mar 2021. Last updated a year ago.

• partial_ref

  35K Unmaintained. Sole owner since Dec 2018.

• partial_ref_derive

  35K Sole owner since Dec 2018. Last updated 3 years ago.

• varisat

  35K Sole owner since May 2018. Last updated 4 years ago.

• varisat-checker

  35K Sole owner since May 2019. Last updated 4 years ago.

• varisat-internal-proof

  35K Sole owner since May 2019. Last updated 4 years ago.

• varisat-dimacs

  36K Sole owner since May 2019. Last updated 4 years ago.

• varisat-internal-macros

  35K Sole owner since May 2019. Last updated 4 years ago.

• varisat-formula

  36K Sole owner since May 2019. Last updated 4 years ago.

• zwohash

  106K Sole owner since Aug 2020. Last updated 4 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 4 years ago.

• varisat-cli

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