Uses of Package
org.clafer.instance

Packages that use org.clafer.instance

Package	Description
org.clafer.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.
org.clafer.instance	This package provides structure for working with instances.
org.clafer.javascript	This package provides classes for building Clafer models and invoking the solver via Javascript.

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

Class and Description
InstanceModel

Classes in org.clafer.instance used by org.clafer.instance

Class and Description
InstanceClafer
InstanceRef

Classes in org.clafer.instance used by org.clafer.javascript

Class and Description
InstanceModel