Stable marriage problem: Difference between revisions
Content deleted Content added
Added SPARK implementation and test output. |
m →{{header|SPARK}}: Added 'works with' info. |
||
Line 1,068:
=={{header|SPARK}}==
Works with SPARK GPL 2010 and GPS GPL 2010.
The data set package:
<lang ada>package Preferences
|