Примеры с фиксированными точками в z3-4.0 не работают из-за отсутствия buddy/fdd.h и buddy/bdd.h

Question

Я хочу попробовать пример в фиксированных точках z3 (путь Z3-4.0/examples/fixedpoints), но источник файлы не компилируются из-за отсутствия buddy/fdd.h и buddy/bdd.h (определяется в bdd_table.h). Не могли бы вы, ребята, сказать мне, где я могу найти эти файлы ?. Thank

Answer 1

Да, BuDDy не разрабатывается нами. Он был создан Джоном Линд. Вы можете скачать BuDDy с: http://sourceforge.net/projects/buddy/