This repository contains the source code for the SCFirstOrderLogic.Inference.Basic NuGet package - in addition to its tests, benchmarks and alternative implementations.
For documentation of the package itself, see https://sdcondon.net/SCFirstOrderLogic/.
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.
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.