Docs.rs
  • Releases
    • All Releases
    • Releases by Stars
    • Recent Build Failures
    • Build Failures by Stars
    • Release Activity
  • Rust
    • Rust website
    • The Book
    • Standard Library API Reference
    • Rust by Example
    • Rust Cookbook
    • Crates.io
    • The Cargo Guide

Releases

Crates from Adrien Champion
  • Recent
  • Stars
  • Recent Failures
  • Failures By Stars
  • Activity
  • Queue
  • AdrienChampion
  • rsmt2-0.16.0
    Wrapper for SMT-LIB 2 compliant SMT solvers.
    35
  • hashconsing-1.5.1
    A hash consing library.
    13
  • zdd-0.3.0
    A Zero-suppressed BDD library.
    8
  • safe_index-0.9.20
    Type-safe indexes.
    2
  • mikino_api-0.9.1
    A simple induction and BMC engine
    0
  • mikino-0.9.1
    A simple induction and BMC engine
    0
About docs.rs Privacy policy Build queue