chapter Weidenbach_Book

session "CDCL_Extensions" (Weidenbach_Book) = "CDCL"  +
  description \<open>This sessions contains the extensions of the CDCL calculus.\<close>
  options [document = pdf, document_output = "output"]
  sessions
    "HOL-Library"
    Weidenbach_Book_Base

  theories [quick_and_dirty = false, document = true]
    CDCL_W_BnB
    CDCL_W_Optimal_Model
    OCDCL
    CDCL_W_Partial_Encoding
    CDCL_W_MaxSAT
    CDCL_W_Partial_Optimal_Model
    CDCL_W_Covering_Models
    DPLL_W_Optimal_Model
    DPLL_W_Partial_Encoding

  document_files
    "root.tex"
    "biblio.bib"