casuarius 1.1
casuarius е Cython обвивка за казуари частичното ограничение решаване.Сорс кодът решавам произлиза от 0.6 версия. Той е бил променен от Свилен Добрев за отстраняване на изтичане на памет. Неговата работа може да се намери отделно като глътка автомати:&...