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 |
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.