Uses of Class
org.clafer.compiler.ClaferUnsat

Packages that use ClaferUnsat

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

Methods in org.clafer.compiler that return ClaferUnsat

Modifier and Type	Method and Description
static ClaferUnsat	ClaferCompiler.compileUnsat(AstModel in, Scopable scope)
static ClaferUnsat	ClaferCompiler.compileUnsat(AstModel in, Scopable scope, ClaferOptions options)