package syguslib-utils

You can search for identifiers within the package.

in-package search v0.2.0

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

A module to provide the system configuration for syntax-guided synthesis solver. It indicates the path to the solver executables on the system. CVC4 and CVC5 are treted as one solver, with the boolean use_cvc5 () setting which version of CVC to use.

val cvc_binary_path : unit -> string

val dryadsynth_binary_path : unit -> string

val eusolver_binary_path : unit -> string

val using_cvc5 : unit -> bool