Uses of Class
org.clafer.compiler.ClaferOptimizer

Packages that use ClaferOptimizer

Package	Description
org.clafer.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.

Uses of ClaferOptimizer in org.clafer.compiler

Methods in org.clafer.compiler that return ClaferOptimizer

Modifier and Type	Method and Description
static ClaferOptimizer	ClaferCompiler.compile(AstModel in, Scopable scope, Objective objective)
static ClaferOptimizer	ClaferCompiler.compile(AstModel in, Scopable scope, Objective objective, ClaferOptions options)