package ortools_solvers

You can search for identifiers within the package.

in-package search v0.2.0

OCaml interface for invoking Google OR-Tools
- CHANGES
- README
- Library ortools_solvers
  - Ortools_solvers
    
    Sat
- Sources
  - ortools_solvers
    
    ortools_solvers.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Ortools_solvers.Sat`Source

Interface to CP-SAT.

val solve : 
  ?observer:(Ortools.Sat.Response.t -> unit) ->
  ?parameters:Ortools.Sat.Parameters.t ->
  Ortools.Sat.model ->
  Ortools.Sat.Response.t

Try to solve the given model.

package ortools_solvers

Module Ortools_solvers.SatSource

Module `Ortools_solvers.Sat`Source