Package org.clafer.compiler

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

See: Description

Interface Summary

Interface	Description
ClaferSearch<T>

Class Summary

Class	Description
ClaferCompiler	Compiles from AST -> Choco
ClaferOptimizer
ClaferOptions	Defines the options for the Clafer compiler.
ClaferSolutionMap
ClaferSolver
ClaferUnsat	Either call ClaferUnsat.minUnsat() xor ClaferUnsat.unsatCore() at most once.

Package org.clafer.compiler Description

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

Author:

jimmy