Lib.rs

› Users #combinatorial #sat-solver

ahirner

Alexander Hirner

Joined crates-io 3 years ago. Joined GitHub 10 years ago.

GitHub
crates.io
Home (moonvision.io)
Maintainer dashboard

Member of GitHub orgs

ahirner created 2 crates

backtrack

Sole owner since Mar 2021. Last updated 3 years ago.
~~backtrack-rs~~

Sole owner since Feb 2021.

Based on data from crates.io, GitHub, rustaceans.org, and other public sources. These pages are automatically generated for crates-io owners, and do not imply endorsement by either the Rust Project nor the users presented here.

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski.