D

dd-python

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 19 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 21, 2025 — Aug 21, 2026 Showing page 41 of 47 Search / Filter on:
add arg: `full` and `care_bits` to `BDD.sat_iter`	Ioannis Filippidis	More...				about 11 years ago
add function `_enumerate_minterms`	Ioannis Filippidis	More...				about 11 years ago
ignore PNG, SVG	Ioannis Filippidis	More...				about 11 years ago
add n-queens benchmark example	Ioannis Filippidis	More...				about 11 years ago
bump version to 0.0.5	Ioannis Filippidis	More...				about 11 years ago
update README	Ioannis Filippidis	More...				about 11 years ago
add function: `_assert_isomorphic_orders`	Ioannis Filippidis	More...				about 11 years ago
improve error message	Ioannis Filippidis	More...				about 11 years ago
add method: `BDD._top_var`	Ioannis Filippidis	More...				about 11 years ago
propagate keyword args in `BDD.dump`	Ioannis Filippidis	More...				about 11 years ago
reduce garbage collection verbosity to "debug"	Ioannis Filippidis	More...				about 11 years ago
add difference operator to syntax	Ioannis Filippidis	More...				about 11 years ago
memoize intermediate results in `_rename`	Ioannis Filippidis	More...				about 11 years ago
from dd import bdd as _bdd	Ioannis Filippidis	More...				about 11 years ago
misc	Ioannis Filippidis	More...				about 11 years ago
BUG: rewrite `sat_len` to fix case of complemented edges	Ioannis Filippidis	More...				about 11 years ago
add complemented edges to syntax	Ioannis Filippidis	More...				about 11 years ago
add quantifiers to syntax	Ioannis Filippidis	More...				about 11 years ago
rm var `dorder` that duplicates `bit_to_sort`	Ioannis Filippidis	More...				over 11 years ago
collect garbage in `bdd_to_mdd` to ensure that preconditions hold	Ioannis Filippidis	More...				over 11 years ago
rename attr: `BDD._ind2var` -> `_level_to_var`	Ioannis Filippidis	More...				over 11 years ago
fix cache lookup in `BDD.compose`	Ioannis Filippidis	More...				over 11 years ago
refactor	Ioannis Filippidis	More...				over 11 years ago
BUG: negate result if complemented edge in `BDD.compose`	Ioannis Filippidis	More...				over 11 years ago
upgrade `pip` on travis to get topological sorting of dependencies	Ioannis Filippidis	More...				over 11 years ago
rm nested call to `pip`	Ioannis Filippidis	More...				over 11 years ago
silence `astutils` in `setup.py`	Ioannis Filippidis	More...				over 11 years ago
add requirements.txt	Ioannis Filippidis	More...				over 11 years ago
fix whitespace	Ioannis Filippidis	More...				over 11 years ago
silence `astutils` logger	Ioannis Filippidis	More...				over 11 years ago

←
1
2
…
37
38
39
40
41
42
43
44
45
46
47
→