09.07.2023 —
Элизиум
Феерическое
thesz — 21.07.2023
https://github.com/berkeley-abc/abc/tree/master/src/optОчень редко наблюдал сходное, со времён Numerical Recipes, практически. Выше уровнем тоже весело, но накал сокращений не столь высок.
Правда, когда заходишь внутрь, там вполне понятные исходники.
Сама система это прямое применение насыщения равенствами к оптимизации логики, выраженной в виде AND-Inverter Graphs (AIG), графов из Логических И с инверсиями.
2010 год, сразу после статьи про equality saturation.
Видимо, всё это там носилось в воздухе.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
Архив записей в блогах:
С такими заголовками сейчас выходят самые популярные таблоиды мира с миллионными тиражами. Именно таким способом общественное мнение подготавливают к необходимости свержения Путина - в демократических странах нельзя тратить бюджет на войну и ограничивать свою же экономику санкциями, не зар ...
Нашла стихотворение злободневное!)) А фотографий у меня достаточно, чтобы проиллюстрировать эти слова А весны осталось - на донышке, Брудершафт уже не получится... Одуванчиков рыжих солнышки В парашюты пакуют лучики. Было мартово да апрелево - Жаль, тепла почти не прибавилось, Хоть и ...
Часть 2 ...
Слово "июнисты" неудобное, декабристы было лучше. Дождались бы августа - практически роялисты бы получились - августиане! Может быть, тогда лучше "июняне"? "Юняне"??? Хм... Вот задача - придумать благозвучное историческое название мятежникам! (обиделась на предшественников, которым ...
Пришла пора ужастных пятничных рассказов. Шёл тут долго ли, коротко ли, упал мой глаз на яркую рыжую лампочку. Говорила эта лампочка, что осталось в туеске горючки поменьше кружки. Стал аз думу тяжкую такую думать: где ж поблизости горючкою разжиться? Увидал тут ярмонку, такую яркую, блес ...
