@hackage / picologic

Utilities for symbolic predicate logic expressions

Latest0.3.0

About

Metadata

  • Last updated , by sdiehl
  • License MIT
  • Maintained by: stephen.m.diehl@gmail.com

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    shell (off by default)

    Build the interactive shell

Readme

picologic provides symbolic logic expressions that can be integrated with the picosat solver.