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

((( 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-программу со строкой в качестве аргумента, которая могла бы легко вернуть результат, но не был уверен, есть ли библиотека в C, которая это делает, или есть какие-либо известные алгоритмы для решения такие выражения?

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

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