#include "pbori_defs.h"
#include <cudd.h>
#include <cuddInt.h>
This file includes some compiled routines.