Lib.rs
›
Users
#
smt-solver
#
logic
#
cvc5
HuStmpHrrr
Jason Hu
Joined crates-io 2 months ago. Joined GitHub 12 years ago.
GitHub
crates.io
Home (github.io)
Maintainer dashboard
Member of GitHub orgs
agda
,
Beluga-lang
Shares crates with
BrunoDutertre
,
benjaminfjones
HuStmpHrrr created 5 crates
cvc5-rs
Founded in Mar 2026. Updated 2 days ago.
cvc5-sys
Founded in Mar 2026. Updated 5 days ago.
yaspar-ir
Founded in Feb 2026. Updated a week ago.
sat-interface
1.1
K
Founded in Feb 2026. Last updated a month ago.
yaspar
1.2
K
Founded in Feb 2026. Last updated 2 months ago.