Version 0.2.8922.34249
Beta (released at 6/5/2024)
Author: Davide Carpi
Undetermined
zip
|
SetOperations.zip | Size: 96 KiB |
| Downloads: 22 of 407 |
Changes
Improvements
- 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.
Corrections
- minor fixes;
- refactoring.
Miscellaneous
- documentation updated.