package

satyros

Description

Step-by-step SAT solver for educational purposes.

Description

hackage.haskell.org

Satyros is a step-by-step SAT solver for educational purposes, based on free monad and its interpretation.

README.md

hackage.haskell.org

satyros.

Metadata

Version

0.3.1.4

License

Status

Source

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

Homepage

https://hackage.haskell.org/package/satyros

Platforms (75)

Darwin

FreeBSD 13

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all