chapter AFP

session SATSolverVerification = "HOL-Library" +
  options [timeout = 600]
  theories
    BasicDPLL
    NieuwenhuisOliverasTinelli
    KrsticGoel
    FunctionalImplementation
  document_files
    "root.bib"
    "root.tex"
