(library
  (name            dolmen_class)
  (public_name     dolmen.class)
  (instrumentation (backend bisect_ppx))
  (libraries
    ;
    dolmen_intf dolmen_std
    ; Languages without versions
    dolmen_ae dolmen_dimacs dolmen_icnf dolmen_zf
    ; Smtlib2 & versions
    dolmen_smtlib2
    dolmen_smtlib2_poly
    dolmen_smtlib2_v6 dolmen_smtlib2_v6_script dolmen_smtlib2_v6_response
    ; TPTP & versions
    dolmen_tptp dolmen_tptp_v6_3_0
    ; Menhir deps
    menhirLib)
  (modules Logic Response)
)