About

Metadata

  • Last updated , by DavidFox
  • License BSD-3-Clause
  • Categories Algorithms
  • Maintained by: b@bucephalus.org

  • Lottery factor: 0

Links

Installation

Readme

A system for propositional logic with default and fast instances of propositional algebras.