/SCFirstOrderLogic

Simple first-order logic implementation for .NET.

Primary LanguageC#MIT LicenseMIT

Issues