/silkie

An implementation of Nute's defeasible logic

Primary LanguagePythonBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Watchers