opam-solver
Solver library for opam 2.1
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package opam-solver
-
opam-solver
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library opam-solver
Module
OpamBuiltinZ3
include OpamCudfSolverSig.S
val ext : string option ref
extra configurable solver parameters
val default_criteria : OpamCudfSolverSig.criteria_def
val call :
criteria:string ->
?timeout:float ->
Cudf.cudf ->
Cudf.preamble option * Cudf.universe
ON THIS PAGE
No table of contents