Uses of Class
org.clafer.compiler.ClaferSolver

Packages that use ClaferSolver

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 ClaferSolver in org.clafer.compiler

Methods in org.clafer.compiler that return ClaferSolver

Modifier and Type	Method and Description
static ClaferSolver	ClaferCompiler.compile(AstModel in, Scopable scope)
static ClaferSolver	ClaferCompiler.compile(AstModel in, Scopable scope, ClaferOptions options)
static ClaferSolver	ClaferCompiler.compilePartial(AstModel in, Scope scope, AstConcreteClafer... concretize)
static ClaferSolver	ClaferCompiler.compilePartial(AstModel in, ScopeBuilder scope, AstConcreteClafer... concretize)