Platypus is implemented by Jean Gressmann, Sven Thiele, and Richard Tichy. It is published under the GNU General Public License and is freely available. Platypus uses smodels code written by Patrik Simons and nomore++ code developed at Potsdam University.
Download Platypus by selecting a version from the table below.
Platypus version |
Source |
Win32 binary |
0.2.8 |
||
0.2.7sol |
||
0.2.7 |
||
0.2.6p1 |
||
0.2.6 |
||
0.2.5 |
||
0.2.4 |
||
0.2.3 |
||
0.2.2 |
||
0.2.1 |
||
0.2.0 |
||
0.1.2 |
||
0.1.1 |
||
0.1.0 |
||
| initial |