The ersatz-toysat package

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain]

Warnings:

toysat driver as backend for ersatz


[Skip to ReadMe]

Properties

Versions0.2.0.0, 0.2.0.0, 0.2.1.0
Change logNone available
Dependenciesarray (>=0.4 && <0.6), base (>=4.5 && <4.9), containers (>=0.4.2.1 && <0.6), ersatz (>=0.2.6.1 && <0.3.0), toysolver (>=0.2.0 && <0.3.0), transformers (==0.3.*) [details]
LicenseBSD3
Copyright(c) 2014 Masahiro Sakai
AuthorMasahiro Sakai
Maintainermasahiro.sakai@gmail.com
CategoryLogic, Algorithms
Home pagehttps://github.com/msakai/ersatz-toysat
Source repositoryhead: git clone git://github.com/msakai/ersatz-toysat.git
Executablesersatz-toysat-sudoku, ersatz-toysat-regexp-grid
UploadedWed Jan 7 13:27:02 UTC 2015 by MasahiroSakai

Modules

[Index]

Flags

NameDescriptionDefaultType
examplesBuild examplesDisabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for ersatz-toysat-0.2.0.0

ersatz-toysat

Build Status

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.