homepage: https://github.com/Ailrun/satyros#readme
changelog-type: ''
hash: d2c0f0a3d13838a8d44226f226e45f76e31a4dbebc7dc0a7887a28a7897f8b91
test-bench-deps:
  free: -any
  extra: -any
  base: -any
  containers: -any
  lens: -any
  mtl: -any
  random: -any
  vector: -any
  satyros: -any
maintainer: jjc9310@gmail.com
synopsis: Step-by-step SAT solver for educational purposes
changelog: ''
basic-deps:
  free: -any
  extra: -any
  base: ==4.14.*
  containers: -any
  lens: -any
  mtl: -any
  random: -any
  vector: -any
all-versions:
- 0.1.0.0
author: Junyoung/Clare Jang
latest: 0.1.0.0
description-type: markdown
description: '# satyros'
license-name: MIT

Update from Hackage at 2021-10-29T15:12:49Z
Update from Hackage at 2021-10-29T15:12:49Z
