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

module Parser : sig ... end

This module defines function to convert from s-expressions to sygus.

module Semantic : sig ... end

This module defines a few high-level properties of SyGuS programs. Setter commands and some utility functions on solver responses are specified here.

module Serializer : sig ... end

A Sygus command or a sygus term is an s-expression. This modules defines functions to convert from a SyGuS term to an s-expression. The functions in this module should be self-explanatory.

module Solvers : sig ... end

This module contains functions to interface with syntax-guided synthesis solvers using the SyGuS Language Standard Version 2 or 1 defined in Sygus. The synchronous and asynchronous solvers defined here are functors parametric on Logger and Statistics modules to automate logging on some output and collecting statistics on solver usage.

module Sygus : sig ... end

This module contains definitions that mirror the SyGuS Language Standard Version 2.1, which can be found at https://sygus.org/assets/pdf/SyGuS-IF_2.1.pdf.