Frequently Asked Questions

General

1. Where do the initial relations come from?

General

Where do the initial relations come from?

They are generated offline and saved into ".bdd" files. We use the Joeq compiler infrastructure for this step. Try running

java joeq.Main.GenRelations

to see the options.