Jump to content

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
Cookies help us deliver our services. By using our services, you agree to our use of cookies.