Educational resources on Kodkod

Kodkod or Oncifelis guigna is listed on the IUCN Red list (1996) as Vulnerable due to C2a(i). IUCN Profile of the Kodkod

Academic web links for the Kodkod.

Kodkod
...about kodkod. Kodkod is an efficient SAT-based constraint solver for first order logic with relations, transitive closure, and partial models.
alloy.mit.edu/kodkod

Class Hierarchy (Kodkod API)
© Emina Torlak
alloy.mit.edu/kodkod/docs/overview-tree.html

Kodkod API
Packages; kodkod.ast: Contains classes for creating Kodkod formulas, expressions, and integer expressions. kodkod.ast.operator: Contains operators for Kodkod formulas, expressions
alloy.mit.edu/kodkod/docs

kodkod.ast Class Hierarchy (Kodkod API)
Hierarchy For Package kodkod.ast Package Hierarchies: All Packages
alloy.mit.edu/kodkod/docs/kodkod/ast/package-tree.html

kodkod.ast (Kodkod API)
Package kodkod.ast Contains classes for creating Kodkod formulas, expressions, and integer expressions. See: Description
alloy.mit.edu/kodkod/docs/kodkod/ast/package-summary.html

R-Index (Kodkod API)
R range() - Method in class kodkod.ast. RelationPredicate.Function Returns the range of this.relation. range(Tuple, Tuple) - Method in class kodkod.instance.
alloy.mit.edu/kodkod/docs/index-files/index-18.html

Overview (Kodkod API)
Packages; kodkod.ast: Contains classes for creating Kodkod formulas, expressions, and integer expressions. kodkod.ast.operator: Contains operators for Kodkod formulas, expressions
alloy.mit.edu/kodkod/docs/overview-summary.html

O-Index (Kodkod API)
O one() - Method in class kodkod.ast. Expression Returns the formula 'one this'. one() - Method in class kodkod.engine.bool. BooleanMatrix Returns a BooleanValue that constraints
alloy.mit.edu/kodkod/docs/index-files/index-15.html

N-Index (Kodkod API)
N name() - Method in class kodkod.ast. LeafExpression Returns the name of this leaf. name() - Method in class kodkod.ast. RelationPredicate.Acyclic
alloy.mit.edu/kodkod/docs/index-files/index-14.html

P-Index (Kodkod API)
P partialFunction(Expression, Expression) - Method in class kodkod.ast. Relation Returns a formula stating that this relation is a partial function with the specified domain and
alloy.mit.edu/kodkod/docs/index-files/index-16.html