package Snowflake

  1. Overview
  2. Docs
type input = {
  1. variables : int list;
  2. parameters : int list;
  3. kdecomp : int list list;
}
type proto_solver = input -> int list list * int list
type output_component = {
  1. index : int;
  2. is_param : bool;
  3. support : int list;
  4. internal : int list;
  5. interface : int list;
  6. var_interface : int list;
  7. param_interface : int list;
  8. tree_pred : int option;
}
type sequence = output_component array
type output = {
  1. input : input;
  2. sequence : sequence;
  3. cost : int list;
  4. optimal : bool;
}
type solver = input -> output
OCaml

Innovation. Community. Security.