$OpenBSD: patch-algo_depsolver_mli,v 1.1.1.1 2014/10/25 17:05:14 chrisz Exp $

Changes for OPAM

--- algo/depsolver.mli.orig	Mon May 26 08:11:52 2014
+++ algo/depsolver.mli	Tue Sep  2 23:11:58 2014
@@ -135,3 +135,12 @@ type solver_result =
 *)
 val check_request : ?cmd : string -> ?callback:(int array * Diagnostic.diagnosis -> unit) -> 
   ?criteria:string -> ?explain : bool -> Cudf.cudf -> solver_result
+
+(** Same as [check_request], but allows to specify any function to call the
+    external solver. It should raise [Depsolver.Unsat] on failure *)
+val check_request_using:
+  ?call_solver:(Cudf.cudf -> Cudf.preamble option * Cudf.universe) ->
+  ?callback:(int array * Diagnostic.diagnosis -> unit) ->
+  ?criteria:string ->
+  ?explain : bool ->
+  Cudf.cudf -> solver_result
