版本0.2.8922.34249
测试版(在2024/6/5发布)
作者:Davide Carpi
Undetermined
zip
|
SetOperations.zip | 大小: 96 KiB |
| 下载:22 of 409 |
修改
改进
- 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.