package

ersatz-toysat

Description

toysat driver as backend for ersatz.

README.md

hackage.haskell.org

ersatz-toysat

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.

Metadata

Version

0.2.2.0

License

Status

Source

pkgs/development/haskell-modules/hackage-packages.nix:101954

Homepage

https://hackage.haskell.org/package/ersatz-toysat

Platforms (77)

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all