Skip to main content
type VariableArtifact =
  | {
  kind: "variable";
  variable: {
     name: string;
     type: "bool";
  };
}
  | {
  kind: "variable";
  variable: {
     max: number;
     min: number;
     name: string;
     type: "int";
  };
};
A compiled solver variable declaration.