issues
search
neuppl
/
rsdd
Performant and safe knowledge compilation in rust
https://neuppl.github.io/rsdd-docs/
MIT License
23
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Crash in `cond_with_alloc` on small bdd (order dependent)
#190
dbueno
opened
3 months ago
1
add num_recursive_calls to FFI
#189
camoy
closed
1 week ago
0
FFI for SDD and d-DNNF
#188
bamarsha
opened
4 months ago
0
BDD is not reduced when running CLI
#187
lisaoakley
opened
11 months ago
1
CLI: Ternary `And` operations giving incorrect output
#186
lisaoakley
opened
11 months ago
0
Scaffolding out `has_smoothed_weights`
#185
mattxwang
opened
11 months ago
0
wmc in the FFI
#184
stites
closed
9 months ago
2
bump nix flake
#183
stites
closed
11 months ago
1
Fix unchecked index for Robdd allocator
#182
mattxwang
opened
11 months ago
0
Fix clippy
#181
mattxwang
closed
11 months ago
1
fix ffi so that `bdd_or` is correct
#180
camoy
closed
11 months ago
2
Expected utility branch-and-bound with evidence
#179
minsungc
opened
1 year ago
0
Place C bindings behind `ffi` feature flag, add FFI CI
#178
mattxwang
closed
1 year ago
2
Make buildable on Rust 1.63 (downgrade `petgraph`, remove `where` clause on associated type)
#177
mattxwang
closed
1 year ago
0
Remove `Order` from `fold`, `unsmoothed_wmc`, `semantic_hash`
#176
mattxwang
closed
1 year ago
0
Renames `DDNNFPtr::wmc` to `DDNNFPtr::unsmoothed_wmc`
#175
mattxwang
closed
1 year ago
0
Add (unweighted) model counts to results in `weighted_model_count` binary
#174
mattxwang
closed
1 year ago
0
Fix `VarOrder` constructor taking ownership, remove duplicate `linear_order`
#173
mattxwang
closed
1 year ago
0
Fix `PartialModel` constructors taking ownership; naming, doctests
#172
mattxwang
closed
1 year ago
0
Add C FFI
#171
mattxwang
closed
1 year ago
0
Flatten the `repr` crate
#170
mattxwang
closed
1 year ago
0
Removes unsafe vector allocators
#169
mattxwang
closed
1 year ago
0
Moves `compose()` to `BottomUpBuilder` (from `Bdd` and `Sdd` builders)
#168
mattxwang
closed
1 year ago
0
Fix `Cnf::new()` to borrow top-level slice instead of vector
#167
mattxwang
closed
1 year ago
0
Generate all valid models for a given logical formula and/or CNF
#166
mattxwang
opened
1 year ago
0
Add s-expressions for `Iff`, `Xor`, `Ite`
#165
mattxwang
closed
1 year ago
0
Disentangle `VarOrder` and `BddPtr` via `PartialVariableOrder` trait
#164
mattxwang
closed
1 year ago
0
Semantic BDD Pointers!
#163
mattxwang
opened
1 year ago
0
Add `RationalSemiring` with the `rational` crate
#162
mattxwang
closed
1 year ago
0
Add `weighted_model_count` binary
#161
mattxwang
closed
1 year ago
2
BDD variable swapping and reordering
#160
SHoltzen
opened
1 year ago
0
Adds Logical S-expression serialization, sketches out `bottomup_formula_to_bdd`
#159
mattxwang
closed
1 year ago
0
Move shared `compile_*` to `BottomUpBuilder`
#158
mattxwang
closed
1 year ago
0
Rename `BddPlan` -> `BottomUpPlan` and flatten module
#157
mattxwang
closed
1 year ago
0
MVP for `bottomup_cnf_to_bdd`
#156
mattxwang
closed
1 year ago
0
Binaries
#155
SHoltzen
opened
1 year ago
1
Garbage collection
#154
SHoltzen
opened
1 year ago
0
Fix ITE Cache to be more Rust-like
#153
mattxwang
closed
1 year ago
0
Update `network_example` to use new API
#152
mattxwang
closed
1 year ago
0
Resolves `todo!()` on serializing `VarSet`
#151
mattxwang
closed
1 year ago
0
Implement BDD, SDD, and VTree serialization to `dot`/graphviz
#150
mattxwang
opened
1 year ago
0
Include doctests in code coverage
#149
mattxwang
closed
1 year ago
0
trim sampling
#148
SHoltzen
closed
1 year ago
0
`BinarySDD`/`SddOr`-related cleanup
#147
mattxwang
closed
1 year ago
0
Align with rust naming conventions
#146
mattxwang
closed
1 year ago
0
Parameter consistency on `&str`, doctests
#145
mattxwang
closed
1 year ago
0
Sized get or insert with replacement
#144
mattxwang
opened
1 year ago
0
Change WASM default to use `AllTable`
#143
mattxwang
closed
1 year ago
0
Remove `rsgm`-related code
#142
mattxwang
closed
1 year ago
0
Add smoothing for ROBDDs
#141
mattxwang
closed
1 year ago
0
Next