pollywog
Polynomials over bounded distributive lattices, as multi-terminal binary decision diagrams
Activity
- Latest release
- 3w ago
- Total releases
- 2
- Cadence
- ~8 days
- Last 12 months
- 2
Details
- License
- BSD-3-Clause
- First release
- Aug 12, 2026
Releases
| Version | Released | |
|---|---|---|
0.1.1
patch
|
0.1.1
patch
|
|
0.1.0
initial
|
0.1.0
initial
|