PkgFoundry
Catalog crates.io
Back to packageRELEASE DETAILS

0.3.1

crates.io

adf_bdd

Library to solve grounded, complete, and stable ADF-semantics by utilising OBDDs - ordered binary decision diagrams

Published4 May 2023
Direct dependencies15
Transitive dependenciesNot calculated

Downloads & popularity

1,870downloads
Cumulative counter · observed snapshots20 Oct 2026
1.9K1.8K1.8K
2026-10-20: 1,870 · observed 2026-10-20T14:47:48.1371552Z
20 Oct20 Oct

crates · 1 observations shown. Missing days are unknown. Counter changes are not daily download totals.

View observed values
Date / source periodValueObserved at
2026-10-201,8702026-10-20T14:47:48.1371552Z

Declared dependencies 15

Native requirements
15 direct targetsNot calculated transitive count
Package / targetRequirementRelationship
biodivine-lib-bdd
Environment
{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^0.4.2runtime
crossbeam-channel
Environment
{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^0.5runtime
derivative
Environment
{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^2.2.0runtime
env_logger
Environment
{
  "kind": "dev",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^0.10development
lexical-sort
Environment
{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^0.3.1runtime
log
Environment
{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^0.4runtime
nom
Environment
{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^7.1.3runtime
quickcheck
Environment
{
  "kind": "dev",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^1development
quickcheck_macros
Environment
{
  "kind": "dev",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^1development
rand
Environment
{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [
    "std_rng"
  ],
  "default_features": true,
  "explicit_name": null
}
^0.8.5runtime
roaring
Environment
{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^0.10.1runtime
serde
Environment
{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [
    "derive",
    "rc"
  ],
  "default_features": true,
  "explicit_name": null
}
^1.0runtime
serde_json
Environment
{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^1.0runtime
strum
Environment
{
  "kind": "normal",
  "optional": false,
  "target": null,
  "features": [
    "derive"
  ],
  "default_features": true,
  "explicit_name": null
}
^0.24runtime
test-log
Environment
{
  "kind": "dev",
  "optional": false,
  "target": null,
  "features": [],
  "default_features": true,
  "explicit_name": null
}
^0.2development

Distribution files

0 collected

No distribution files are present in the collected metadata.

Checksums from source
{
  "sha256": "1588cb591094da845fedcbbae0a9ac8f928a3828dc3d2636d74115db3795c2a5"
}

Repository

PENDING
ellmau/adf-obdd

Shared repository data · GitHub

License detected in repository
Not collected

Metadata history

Meaningful changes
Current collected state Current

Observed since 20 Oct, 14:47 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

Record identity

package_version:27731eea30feac36b50dad7ebcaed948b3a81ed0ee44df5e0eaf12f77ae4e52a

Other collected versions

View all collected versions →