/SCFirstOrderLogic.Inference.Basic

(Very) basic inference algorithms built on the model defined by SCFirstOrderLogic.

Primary LanguageC#OtherNOASSERTION

SCFirstOrderLogic Icon

SCFirstOrderLogic.Inference.Basic

NuGet version (SCFirstOrderLogic.Inference.Basic) NuGet downloads (SCFirstOrderLogic.Inference.Basic) Commits since latest release

This repository contains the source code for the SCFirstOrderLogic.Inference.Basic NuGet package - in addition to its tests, benchmarks and alternative implementations.

Package Documentation

For documentation of the package itself, see https://sdcondon.net/SCFirstOrderLogic/.

Source Documentation

I haven't written up any documentation of the source (e.g. repo overview, design discussion, compilation guidance…) - and likely won't unless someone else expresses an interest in contributing. Once cloned, it should "just work" as far as compilation is concerned.

Issues and Contributions

I'm not really expecting anyone to want to get involved at this stage, but please feel free to do so. I do keep an eye on the issues tab, and will add a CONTRIBUTING.md if anyone drops me a message expressing interest.