foliage (cargo): Abstract syntax tree for first-order logic with integer arithmetics
Keywords: logic