Khazuar FirstOrderLogicLib by: Khazuar .NET Framework 4.5 This package targets .NET Framework 4.5. The package is compatible with this framework or higher. 130 total downloads last updated 9/16/2014 Latest version: 1.0.0 Logic Formulas Provides data-structures to describe FO-formulas, predicate logic and a lot of predefined visitors and extension-methods to manipulate them.