Lib.rs

› Users #smt-lib #github #smt-solver

oeb25

Oliver Bøving

Joined crates-io 2 years ago. Joined GitHub 12 years ago.

GitHub
crates.io
Maintainer dashboard

Member of GitHub orgs

oeb25 created 4 crates

smtlib

Sole owner since Dec 2022. Last updated 6 months ago.
smtlib-lowlevel

Sole owner since Dec 2022. Last updated 6 months ago.
binswap-github

Sole owner since Feb 2023. Last updated 10 months ago.
smtlib-build-util

Sole owner since Jan 2023. Last updated 10 months ago.

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.