Kodkodi is a text-based front-end for the Java library Kodkod. The front-end is designed to make Kodkod available to programming languages other than Java. The file format syntax is modeled after the output of toString() on Kodkod classes. It is developed at the Technische Universität München in Germany, and is available under a BSD-style license.

The current version acts as a filter: It takes its input from standard input and writes its output to standard output (on success) or standard error (on failure). A few examples are provided in the examples directory. Future versions are expected to act as servers, making it possible to reuse the same process and state to solve several formulas.

• User Manual
• Complete Package with Java Sources (.tgz)

Bug reports, suggestions, and patches are especially welcome. You can reach the author at blanchette strudel in.tum.de.