Хорошо, допустим, у меня есть такая строка в текстовом файле:

((( var1 AND var2 AND var3) OR var4) AND ((var5 OR var6) AND var7))

после синтаксического анализа этого в программе c, и vars обрабатываются и устанавливаются правильно, в конечном итоге это будет выглядеть примерно так:

((( 1 AND 0 AND 0) OR 1) AND ((0 OR 1) AND 1))

Существуют ли какие-либо полезные библиотеки для оценки выражений, представленных в виде одной строки, подобной этой? Я думал, что могу просто вызвать Perl-программу со строкой в качестве аргумента, которая сможет легко вернуть результат, но это не такТочно ли существует библиотека в Си, которая это сделала, или есть какие-нибудь известные алгоритмы для решения таких выражений?

РЕДАКТИРОВАТЬ: Что яЯ на самом деле ищу что-то, что выложит ответ на это выражение, возможно, парсинг был плохим словом. то есть 1 или 0

В скорлупе орехов это файл, содержащий набор случайных выражений (которые уже известны в правильном формате), которые должны быть оценены либо в 0, либо в 1 (выше - 1, поскольку в результате получается (1 И 1).