chapter AFP

session Approximate_Model_Counting = Universal_Hash_Families +
  options [timeout = 600]
  sessions
    Concentration_Inequalities
    Monad_Normalisation
    Median_Method
  theories
    ApproxMCPreliminaries
    RandomXOR
    RandomXORHashFamily
    ApproxMCCore
    ApproxMCCoreAnalysis
    CertCheck
    CertCheck_CNF_XOR
  document_files
    "root.tex"
    "root.bib"
