Package | Description |
---|---|
org.clafer.compiler |
This package provides a compiler from AST to Choco including algorithms for
solving optimal instances and max unsat.
|
org.clafer.ir.compiler |
This package provides a compiler to translate IR to Choco.
|
Class and Description |
---|
IrSolutionMap
Maps IR non-constant variables to their translated Choco variables.
|
Class and Description |
---|
IrSolutionMap
Maps IR non-constant variables to their translated Choco variables.
|
Copyright © 2013. All Rights Reserved.