geisserf lemon-dd issues - Githubissues

geisserf / lemon-dd

Library for Edge-valued MONoid-based decision diagrams.

Boost Software License 1.0

2 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Uniform treatment of partial state in node evaluation

#12 geisserf opened 5 years ago
1
Rename Polynomial

#11 geisserf opened 5 years ago
5
Allow complex conditional effects

#10 geisserf opened 5 years ago
0
Simplification of subtraction expressions is wrong

#9 geisserf opened 5 years ago
0
quasi-reduction fails when ordering and domains are not defined over the same variables

#8 geisserf opened 5 years ago
0
Exploit additive property of operators

#7 geisserf opened 5 years ago
1
Refactor operators, parser and interpreters

#6 geisserf opened 5 years ago
1
Implement garbage collection

#5 geisserf opened 5 years ago
1
Optimize memory consumption

#4 geisserf opened 5 years ago
5
Include contributors and license in the README

#3 geisserf closed 5 years ago
5
Include wiki pages and issues from the previous gitlab repo

#2 geisserf opened 6 years ago
4
Provide lemon as a library for external projects

#1 geisserf opened 6 years ago
0