FirstOrderLogicLib (nuget): Provides data-structures to describe FO-formulas, predicate logic and a lot of predefined visitors and extension-methods to manipulate them.
Keywords: Logic|Formulas