Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
rsdd
Performant and safe knowledge compilation in rust
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
7
Last push
8mo ago
Recent commits
Latest commits.
Bump deprecated actions
a56b42d
Matt Wang
13mo ago
Remove unused/not helpful codecov action
8341bfe
Matt Wang
13mo ago
ffi: export count_nodes and JSON serializer (#194)
c49f9ca
Cameron Moy
14mo ago
FFI for SDD and d-DNNF (#188)
ec30172
Brianna Marshall
20mo ago
FFI for WMC with complex numbers (#191)
9247bb6
Brianna Marshall
20mo ago
add num_recursive_calls to FFI (#189)
2ccf991
Cameron Moy
21mo ago
wmc in the FFI (#184)
01a7723
Sam Stites
31mo ago
Fix clippy
f5d5e17
Matthew
31mo ago
Top contributors
Builders behind this project.
SHoltzen
323 commits
mattxwang
165 commits
stites
59 commits
JohnGouwar
16 commits
camoy
3 commits
bamarsha
2 commits
rodrigodesalvobraz
1 commits
