kodkod

Kodkod may refer to two distinct things: a small wild cat native to southern Chile and Argentina, and a Java software library used as a relational model finder in formal methods.

The kodkod, also known as güiña in parts of its range, is a small felid in the Leopardus genus. Adults weigh a few kilograms and measure roughly 40–60 cm in body length, with a 20–30 cm tail. Fur is short and tawny with spots or streaks, providing camouflage in forests and scrub. It occupies temperate forests, shrubland, and rocky terrain in southern Chile and adjacent Argentina, where it hunts small mammals, birds, and reptiles. The species is largely nocturnal or crepuscular, and the reproductive pattern includes small litters. Habitat loss, fragmentation, and persecution have reduced its numbers, and the IUCN lists it as Near Threatened.

The Kodkod software library is a Java-based relational model finder used as the back end of the Alloy Analyzer. It translates relational formulas into a SAT-solving problem within a user-specified scope, enabling bounded model checking and automated reasoning about relational structures. Kodkod supports relations of various arities and is designed to integrate with Java-based modeling workflows for software and systems engineering research and education.