issues
search
OxiDD
/
oxidd
Concurrent decision diagram framework written in Rust
https://oxidd.net
Apache License 2.0
32
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Iterating over all satisfying assignments for a ZBDD?
#20
johnrudge
opened
3 weeks ago
2
Add `pick_cube_symbolic()` and `pick_cube_symbolic_set()`
#19
nhusung
closed
1 month ago
0
Introduce recursor to avoid code duplication
#18
nhusung
closed
2 months ago
0
Implemented optimised apply_quant function for BDDs
#17
mlaveaux
closed
2 months ago
0
Symbolic `pick_cube`
#16
SSoelvsten
closed
1 month ago
3
Set Operator Aliases
#15
SSoelvsten
opened
4 months ago
3
Fix CMake cannot find 'oxidd_ffi' target
#14
SSoelvsten
closed
4 months ago
2
Deploy docs
#13
nhusung
closed
4 months ago
0
Add substitute to Python bindings
#12
nhusung
closed
4 months ago
0
Implement Variable Substitution
#11
nhusung
closed
4 months ago
1
Variable Substitution
#10
Hirtol
closed
4 months ago
3
Use consistent type size_t for node_count() in C++ bindings
#9
volkm
closed
5 months ago
2
Add Python bindings
#8
nhusung
closed
5 months ago
0
Improve CI
#7
nhusung
closed
6 months ago
0
Fix `pick_cube_uniform` for BCDDs
#6
nhusung
closed
6 months ago
0
Improve testing
#5
nhusung
closed
6 months ago
0
CI: upgrade to `checkout@v4`
#4
nhusung
closed
6 months ago
0
Implement restrict for BDDs & BCDDs
#3
nhusung
closed
7 months ago
0
Add C++ bindings
#2
nhusung
closed
6 months ago
0
improve DX
#1
koehlma
closed
8 months ago
0