University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Constraints Research Group - Software

This page contains links to software packages written by members of the Constraints group.

Contents


Polyanna

"Polyanna Technical Manual (version 1.00)", Richard Gault,
Oxford University Computing Laboratory, Technical Report PRG-RR-01-20, December 2001.

Polyanna is a program for finding the polymorphisms of a given set of relations over a finite domain. Many other attempts have been made in the past to solve this problem, but all have run prohibitively slowly. Polyanna is the first program to fully exploit the symmetry inherent in this problem, and as a result it can run exponentially faster than its rivals.

Polyanna has many features. Most notable among them are:

Polyanna is copyright The University of Oxford, 2001, 2002. It is distributed under the terms of the GNU General Public License (version 2). A copy of the license is included with the source code.

You may download Polyanna version 1.01 from here. Detailed documentation, including a full user manual, is also available.

To help us keep track of how many people use Polyanna, we would greatly appreciate hearing from you if you make any use of the program. Any comments, suggestions, or bug reports may also be mailed to the author.