Я работаю над проектом, который в качестве подзадачи требует минимизации функции logi c, которая и является задачей, решаемой минимизатором Espresso logi c. Несмотря на свою эффективность, исходный код, который у меня есть , немного сложно интегрировать в мой код, особенно потому, что, насколько я могу судить, для этого потребуется (а) повторно реализовать некоторые очень грязные процедуры синтаксического анализа файлов или (b) используют что-то вроде fmemopen , чтобы записать содержимое ввода в выделенный памяти файл и передать его в Espresso. Хотя (b) выполнимо, я немного обеспокоен тем, что он может быть неоптимальным с точки зрения производительности.
Есть ли какой-либо другой подход для достижения этой цели? Существует ли какая-либо подобная библиотеке реализация Espresso (или эквивалентная), которую легче интегрировать в другую кодовую базу?