Frequently Asked Questions

General

  1. Where do the initial relations come from?

General

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.