The ersatz-toysat package

[maintain]
Warnings:

toysat driver as backend for ersatz


[Skip to ReadMe]

Properties

Versions0.2.0.0, 0.2.0.0, 0.2.1.0
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.