Benchmarking framework and latest slides online
Now available under Materials:
- the benchmarking framework, including more benchmarks and tools for checking and evaluating your synthesis tool
- the slides from last lecture (regarding the confusion about QBF formulas in algorithms: the formulas were correct, but the algorithms use a form of generalization that does not negate the whole formula, but only a part of it; I have added a remark to the slides)
- the paper by Bloem et al. mentioned in the slides.