Basic but fully functional and documented first-order logic implementations. Includes models for raw and CNF formulas, as well as extensible logic for creating, manipulating, formatting and indexing them.
$ dotnet add package SCFirstOrderLogicThe SCFirstOrderLogic NuGet package contains basic but fully functional and documented first-order logic implementations for .NET. Included are:
Accompanying the core SCFirstOrderLogic package are two supporting packages:
Full documentation can be found here.