Source file `qbfSolve.ml`

1
2
3
4
5
# 1 "src/lib/qbf/qbfSolveDummy.ml"

let ocamlqbf_of_ast _ = failwith "Qbf not available, recompile with Qbf"
let qcnf_of_cnf _ = failwith "Qbf not available, recompile with Qbf"
let solve ?hidden _ = failwith "Qbf not available, recompile with Qbf"
let enabled = false