5nizza / sdf-hoa

Bounded synthesis via safety games and BDDs

5nizza/sdf-hoa Issues

Performance degradation on some examples (version with and without BDD order fixing)
Updated 2 months ago1
The input argument `-k` if provided several times is handled incorrectly
Closed 9 months ago
Crashes on benchmarks with outputs with Upper-case letters
Closed 9 months ago3
Doesn't compile with the latest spdlog
Closed 9 months ago2
Repeated input and output variables
Closed 4 years ago1