package syguslib-utils

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

syguslib-utils
- Syguslib
  - Parser
  - Semantic
    
    Command
    
    Ident
    
    Lit
    
    Sort
    
    Term
  - Serializer
  - Solvers
    
    EmptyLog
    
    Logger
    
    NoStat
    
    SolverSystemConfig
    
    Statistics
    
    SygusSolver
    
    Config
    
    Log
    
    Stats
  - Sygus

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Stats : Statistics

module Log : Logger

module Config : SolverSystemConfig

Signature

type t =

| CVC
| DryadSynth
| EUSolver

val default_solver : t ref

val binary_path : t -> string

val executable_name : t -> string

val sname : t -> string

val print_options : Format.formatter -> string list -> unit

val fetch_solution : int -> string -> Sygus.solver_response

val solver_make_cancellable : solver_instance -> 'a Lwt.t -> unit

val exec_solver : 
  ?solver_kind:t ->
  ?options:string list ->
  (string * string) ->
  solver_instance * Sygus.solver_response option Lwt.t * int Lwt.u

val solve_commands : 
  ?solver_kind:t ->
  Sygus.program ->
  Sygus.solver_response option Lwt.t * int Lwt.u