Package org.iam.core

package org.iam.core

Core orchestration and solving workflow for AccessRefinery.

This package coordinates end-to-end refinement analysis from policy parsing to intent mining, reduction, and output generation:

• AccessRefinery: main pipeline for mining/reduction/merge flow
• ILPSolver: set-cover style reduction support
• Zelkova: theorem-solver style checks used in the pipeline
• CmdRun: command execution helpers for external tools

The package acts as the execution backbone that glues policy modeling, symbolic encodings, and optimization stages together.

Related Packages

Package	Description
org.iam	Top-level package for the AccessRefinery analysis engine.
org.iam.intent	Intent abstractions used by AccessRefinery mining and refinement.
org.iam.model	Internal model structures for label hierarchy and symbolic wrappers.
org.iam.policy	IAM policy representation and parsing support.
org.iam.utils	Utility helpers for IO, parsing, timing, logging, and experiment post-processing.

Classes

Class	Description
AccessRefinery	AccessRefinery is the main processing class for analyzing constraint files.
CmdRun	Command-line entry point for running AccessRefinery and Zelkova batch processing.
ILPSolver	ILPSolver provides a method to solve the Minimum Set Cover problem using Integer Linear Programming (ILP).
Zelkova	Zelkova provides satisfiability checking and symbolic analysis for constraint files.