issues
search
msakai
/
haskell-decision-diagrams
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
https://hackage.haskell.org/package/decision-diagrams
BSD 3-Clause "New" or "Revised" License
13
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
visualisation via GraphViz
#37
m4lvin
opened
2 weeks ago
2
Relax bounds
#36
TeofilC
closed
6 days ago
4
Remove unnecessary sorts
#35
xkollar
closed
1 year ago
0
Typo in docs + some stylistic changes
#34
xkollar
closed
1 year ago
5
Update stackage snapshots (2022-08)
#33
msakai
closed
2 years ago
0
Add HasCallStack constraint to functions expected to raise exceptions
#32
msakai
closed
3 years ago
0
Move Graph type to Node module to share between BDD/ZDD
#31
msakai
closed
3 years ago
0
Share Sig type and several function implementation among BDD/ZDD and change fold signature
#30
msakai
closed
3 years ago
0
Add inSig and outSig to BDD and ZDD
#29
msakai
closed
3 years ago
0
Add BDD.uniformSatM
#28
msakai
closed
3 years ago
0
Add BDD.numNodes and ZDD.numNodes
#27
msakai
closed
3 years ago
0
Make ZDD.uniformM test less flaky
#26
msakai
closed
3 years ago
0
Add satisfiability related functions to BDD
#25
msakai
closed
3 years ago
0
Fix laziness of fold and fold'
#24
msakai
closed
3 years ago
0
Avoid spurious incomplete patterns warning on GHC <8.10
#23
msakai
closed
3 years ago
0
Stop using Test.QuickCheck.Monadic for testing ZDD.uniformM
#22
msakai
closed
3 years ago
0
Refine toList
#21
msakai
closed
3 years ago
0
Add doctests
#20
msakai
closed
3 years ago
0
Add unfold functions
#19
msakai
closed
3 years ago
0
Add fixed point operators BDD.lfp and BDD.gfp
#18
msakai
closed
3 years ago
0
Add other-extensions fields to package.yaml
#17
msakai
closed
3 years ago
0
Introduce signature functor types
#16
msakai
closed
3 years ago
0
Replace BDD's F/T data constructors with Leaf
#15
msakai
closed
3 years ago
0
Clean up tests
#14
msakai
closed
3 years ago
0
Add ZDD test cases from JDD
#13
msakai
closed
3 years ago
0
Add AscOrder and DescOrder
#12
msakai
closed
3 years ago
0
add ZDD.subsets
#11
msakai
closed
3 years ago
0
Clean up operator implementation
#10
msakai
closed
3 years ago
0
Stop exposing Node type
#9
msakai
closed
3 years ago
0
Add conversion between graphs and BDD/ZDD
#8
msakai
closed
3 years ago
0
add more tests on BDD.restrictLaw
#7
msakai
closed
3 years ago
0
Add more BDD operations
#6
msakai
closed
3 years ago
0
Add ZDD.findMinSum and ZDD.findMaxSum
#5
msakai
closed
3 years ago
0
Work on newtypes instead of raw node type
#4
msakai
closed
3 years ago
0
Separate dependencies and add bounds
#3
msakai
closed
3 years ago
0
Add more ZDD operations
#2
msakai
closed
3 years ago
0
Add test suite and configure GitHub Actions
#1
msakai
closed
3 years ago
0