Lib.rs
›
Users
#
ring
#
sat-solver
mmaroti
Miklos Maroti
Joined crates-io 4 years ago. Joined GitHub 13 years ago.
GitHub
crates.io
Home (math.u-szeged.hu)
Maintainer dashboard
Member of GitHub orgs
WebGME
,
TinyOS
mmaroti created 3 crates
abstalg
Sole owner since Sep 2020. Last updated 2 months ago.
cadical
Sole owner since Jun 2020. Last updated 2 years ago.
vmcircbuf
Sole owner since Apr 2020. Last updated 4 years ago.