Package org.clafer.ir.compiler

This package provides a compiler to translate IR to Choco.

See: Description

Class Summary

Class	Description
IrCompiler	Compile from IR to Choco.
IrSolutionMap	Maps IR non-constant variables to their translated Choco variables.

Package org.clafer.ir.compiler Description

This package provides a compiler to translate IR to Choco.

Author:

jimmy