@hackage / ersatz-toysat

toysat driver as backend for ersatz

Latest0.2.2.0

About

Metadata

  • Last updated , by MasahiroSakai
  • License BSD-3-Clause
  • Categories Algorithms

  • Maintained by: masahiro.sakai@gmail.com

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    examples (off by default)

    Build examples

Readme

ersatz-toysat

Build Status Hackage

toysat driver as backend for ersatz

Examples

The contents of examples/ directory are copied from ersatz package and modified to use the toysat driver as backend.