Uses of Package
org.clafer.compiler

Packages that use org.clafer.compiler

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

Classes in org.clafer.compiler used by org.clafer.compiler

Class and Description
ClaferOptimizer
ClaferOptions Defines the options for the Clafer compiler.
ClaferSearch
ClaferSolutionMap
ClaferSolver
ClaferUnsat Either call ClaferUnsat.minUnsat() xor ClaferUnsat.unsatCore() at most once.