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