Uses of Interface
org.clafer.compiler.ClaferSearch

Packages that use ClaferSearch

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

Classes in org.clafer.compiler that implement ClaferSearch

Modifier and Type	Class and Description
class	ClaferOptimizer
class	ClaferSolver