الإصدار 0.2.8922.34249
تجريبي (صدر في 5/6/2024)
المؤلف: Davide Carpi
غير محدد
zip
|
SetOperations.zip | الحجم: 96 KiB |
| التنزيلات: 126 من 1399 |
التغييرات
تحسينات
- added set_Unique(1);
- added set_Permute(1);
- added set_Choose(1) and set_Choose(2);
- added set_Settings_Orientation;
- set_Universe is now a valid source as set enumerator in set-builders and quantifiers.
إصلاحات
- minor fixes;
- refactoring.
متفرقات
- documentation updated.