Module Solver

module Solver: sig .. end

Dealing with solver methods

val parse : string -> Ast.cmd list

parse sygus string and make ast

s : sygus string

val solve : string ->
       (Ast.cmd list -> IntermediateTypes.funcIngredient list -> 'a -> 'b) ->
       'a -> 'b

find the correct synth-fun body of sygus string

s : sygus string

search : search function

cost : cost function