Anonymous user
Stable marriage problem: Difference between revisions
m
→{{header|SPARK}}: Added 'works with' info.
(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
|