Platypus - A platform for distributed answer set programming

Platypus is a extensible distributed platform for answer set programming (ASP) developed at Potsdam University. It utilizes different distribution mechanisms such as forking and MPI and runs either single- or multi-threaded. Platypus is very flexible and may one day support your own answer set solver. Currently Platypus supports smodels and nomore++ as propagation engines. Platypus relies on lparse to provide it with ground logic programs. You can download Platypus here.

Hard-/Software requirements
Platypus runs on a variety of platforms with a rich set of options. The matrix below shows the current set of possible configurations:

 
stand-alone
forking
MPI
Architectural constraits
Windows
st/mt
no os support
not planned
x86-32 architectures only
Linux
st/mt
st/mt
st (x86)
x86-32 & x86-64
experimental
SPARC, IA64
Solaris
st/mt
st/mt
no

experimental
x86-32, x86-64 & SPARC

st: single-threaded, mt: multi-threaded

The highlighted combinations have been found to work. Platypus's set of architectural constraints stems from the use of high-perfomance concurrent synchronization mechanisms such as compare-and-swap and the lack of machines to test on.

As of version 0.2.0 Platypus comes with all the software needed to run both the forking and stand-alone version. You should not be required to install any additional software. To build Platypus prior to version 0.2.0 you'll need to get the smodels source.


Copyright (2012) Potsdam University
Last update: 17.01.06
Hits since April 2005: