issues
search
ellmau
/
adf-obdd
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
https://ellmau.github.io/adf-obdd/
MIT License
8
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump serde_json from 1.0.91 to 1.0.93
#142
dependabot[bot]
closed
1 year ago
1
Bump clap from 4.1.4 to 4.1.6
#141
dependabot[bot]
closed
1 year ago
1
Dependabot/bump
#140
ellmau
closed
1 year ago
0
Bump nom from 7.1.1 to 7.1.3
#139
dependabot[bot]
closed
1 year ago
1
Bump clap from 4.0.32 to 4.1.4
#138
dependabot[bot]
closed
1 year ago
1
Bump biodivine-lib-bdd from 0.4.1 to 0.4.2
#137
dependabot[bot]
closed
1 year ago
1
Bump env_logger from 0.9.1 to 0.10.0
#136
dependabot[bot]
closed
1 year ago
1
Update README.md
#135
ellmau
closed
1 year ago
0
Update README badges
#134
ellmau
closed
1 year ago
0
Update/depbot flake
#133
ellmau
closed
1 year ago
0
Bump assert_fs from 1.0.7 to 1.0.10
#132
dependabot[bot]
closed
1 year ago
1
Bump clap from 4.0.18 to 4.0.32
#131
dependabot[bot]
closed
1 year ago
1
Bump serde_json from 1.0.87 to 1.0.91
#130
dependabot[bot]
closed
1 year ago
1
Bump serde from 1.0.147 to 1.0.152
#129
dependabot[bot]
closed
1 year ago
1
Bump predicates from 2.1.1 to 2.1.5
#128
dependabot[bot]
closed
1 year ago
1
Bump clap from 4.0.18 to 4.0.29
#127
dependabot[bot]
closed
1 year ago
1
Bump serde_json from 1.0.87 to 1.0.89
#126
dependabot[bot]
closed
1 year ago
1
Bump predicates from 2.1.1 to 2.1.3
#125
dependabot[bot]
closed
1 year ago
1
Bump serde from 1.0.147 to 1.0.148
#124
dependabot[bot]
closed
1 year ago
1
Bump assert_fs from 1.0.7 to 1.0.9
#123
dependabot[bot]
closed
1 year ago
1
Bump clap from 4.0.18 to 4.0.24
#122
dependabot[bot]
closed
1 year ago
1
Dependabot/bump
#121
ellmau
closed
1 year ago
0
Bump serde_json from 1.0.85 to 1.0.87
#120
dependabot[bot]
closed
1 year ago
1
Bump clap from 4.0.9 to 4.0.18
#119
dependabot[bot]
closed
1 year ago
1
Bump assert_cmd from 2.0.4 to 2.0.5
#118
dependabot[bot]
closed
1 year ago
1
Bump serde from 1.0.145 to 1.0.147
#117
dependabot[bot]
closed
1 year ago
1
Bump biodivine-lib-bdd from 0.4.0 to 0.4.1
#116
dependabot[bot]
closed
1 year ago
1
Restrict with list of variable values
#115
ellmau
closed
1 year ago
1
Bump clap from 4.0.7 to 4.0.9
#114
dependabot[bot]
closed
2 years ago
1
Dependabot/bump
#113
ellmau
closed
2 years ago
0
Bump roaring from 0.9.0 to 0.10.1
#112
dependabot[bot]
closed
2 years ago
1
Bump env_logger from 0.9.0 to 0.9.1
#111
dependabot[bot]
closed
2 years ago
1
Bump serde from 1.0.144 to 1.0.145
#110
dependabot[bot]
closed
2 years ago
1
Bump clap from 3.2.20 to 4.0.7
#109
dependabot[bot]
closed
2 years ago
1
Bump clap from 3.2.19 to 3.2.20
#108
dependabot[bot]
closed
2 years ago
1
Dependabot/2022sep06 merge
#107
ellmau
closed
2 years ago
0
Bump serde_json from 1.0.82 to 1.0.85
#106
dependabot[bot]
closed
2 years ago
1
Bump clap from 3.2.16 to 3.2.19
#105
dependabot[bot]
closed
2 years ago
1
Bump serde from 1.0.141 to 1.0.144
#104
dependabot[bot]
closed
2 years ago
1
Fix/restrict slow
#103
ellmau
closed
2 years ago
0
slow restrict functionality
#102
ellmau
closed
2 years ago
0
Add cache to ite and restrict
#101
ellmau
closed
2 years ago
0
Analysis of recursion reduction
#100
ellmau
opened
2 years ago
0
Efficient usage of caches for BDDs
#99
ellmau
closed
2 years ago
0
Use random-heuristics from the library in the binary
#97
ellmau
opened
2 years ago
1
Add a random heuristic, based on rand-crate
#96
ellmau
closed
2 years ago
0
Add a channel to inform other threads about bdd updates
#95
ellmau
closed
2 years ago
0
Restore rust 1.62.1 conformity
#94
ellmau
closed
2 years ago
0
Rust 1.61 conformity
#92
ellmau
closed
2 years ago
0
Update build.yml
#91
ellmau
closed
2 years ago
0
Previous
Next