lib/pluck/src/root.zig

daab053ee43316e1809a84551d573ddd1e5bf3d2

 1 //! Probabilistic programming evaluation and weighted model counting over binary
 2 //! decision diagrams. Exact inference compiles programs into reduced ordered
 3 //! binary decision diagrams (ROBDDs).
 4 //!
 5 //! Compilation tractability depends on variable order, with unfavorable orderings
 6 //! risking exponential node expansion. Callers select between exact compilation
 7 //! and approximate sampling (LPSMC), retaining responsibility for diagram manager
 8 //! allocations.
 9 
10 pub const definition_order = @import("order.zig");
11 pub const bdd = @import("bdd.zig");
12 pub const cli = @import("cli/root.zig");
13 pub const evaluator = @import("evaluator.zig");
14 pub const help_topics = @import("topics.zig");
15 pub const lpsmc = @import("lpsmc.zig");
16 pub const limits = @import("limits.zig");
17 pub const logger = @import("logger.zig");
18 pub const pexpr = @import("pexpr.zig");
19 pub const query_context = @import("query.zig");
20 pub const random_seed = @import("seed.zig");
21 pub const runtime = @import("runtime.zig");
22 pub const source_identity = @import("identity.zig");
23 pub const state = @import("state/root.zig");
24 pub const thunk_registry = @import("registry.zig");
25 pub const time = @import("time.zig");
26 pub const toplevel = @import("toplevel/root.zig");
27 pub const weight_dd = @import("weight.zig");
28 pub const wmc = @import("wmc.zig");