@hackage satyros0.2.2.1

Step-by-step SAT solver for educational purposes

Categories
License
MIT
Maintainer
jjc9310@gmail.com
Links
Versions
- 0.3.1.4 Sun, 14 Nov 2021
- 0.3.1.3 Fri, 12 Nov 2021
- 0.3.1.2 Thu, 11 Nov 2021
- 0.3.1.1 Thu, 11 Nov 2021
- 0.3.1.0 Mon, 8 Nov 2021
- 0.3.0.0 Sun, 7 Nov 2021

Installation
In your cabal file:
Dependencies (8)
- base >=4.12 && <4.15
- containers
- mtl
- random
- vector
- extra
Dependents (0)

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