Module `SingleQuerySolver.Make`

Parameters

module Encoding : Translation_sig.ENCODING

module Backend : Backend_sig.BACKEND

Signature

module Translation : sig ... end

val solve : Context.t -> Context.t