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.
|
Class and Description |
---|
InstanceModel |
Class and Description |
---|
InstanceClafer |
InstanceRef |
Class and Description |
---|
InstanceModel |
Copyright © 2013. All Rights Reserved.