adf-bdd-bin

crates.io

Solver for ADFs grounded, complete, and stable semantics by utilising OBDDs - ordered binary decision diagrams

Versions collected1

Direct dependencies11From release 0.3.0

Last observed20 Oct, 14:47 UTC

Downloads & popularity

1,801downloads

Cumulative counter · observed snapshots20 Oct 2026

1.8K1.8K1.7K

20 Oct20 Oct

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

View observed values

Date / source period	Value	Observed at
2026-10-20	1,801	2026-10-20T14:47:05.1707259Z

Collected releases

Version	Published	Direct dependencies	Open version
0.3.0Registry latest	2 Aug 2022	11

No matching advisories collected

This describes our collected data; it is not a security assessment.

PENDING

Shared repository data · GitHub

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.

package:2867fdbe04f42be5743809abc25d9868c63522dc558bfe2007f3ba0e112e6982