homepage: https://github.com/Ailrun/satyros#readme
changelog-type: ''
hash: a2204d51c461c7130c4b4db976c8f9f465d79b967e6f3a65b3ab72156abc414b
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.12 && <4.15'
  containers: -any
  lens: -any
  mtl: -any
  random: -any
  vector: -any
all-versions:
- 0.1.0.0
- 0.1.0.1
- 0.2.0.0
- 0.2.1.0
- 0.2.2.0
- 0.2.2.1
- 0.3.0.0
- 0.3.1.0
author: Junyoung/Clare Jang
latest: 0.3.1.0
description-type: markdown
description: '# satyros'
license-name: MIT

homepage: https://github.com/Ailrun/satyros#readme
changelog-type: ''
hash: 706ac67cf95a5c50bcdb3c5d7291e4a057d510f9b38d2eb169e759afbc24fc94
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.12 && <4.15'
  containers: -any
  lens: -any
  mtl: -any
  random: -any
  vector: -any
all-versions:
- 0.1.0.0
- 0.1.0.1
- 0.2.0.0
- 0.2.1.0
- 0.2.2.0
- 0.2.2.1
- 0.3.0.0
- 0.3.1.0
- 0.3.1.1
author: Junyoung/Clare Jang
latest: 0.3.1.1
description-type: markdown
description: '# satyros'
license-name: MIT

Update from Hackage at 2021-11-11T02:27:59Z
Update from Hackage at 2021-11-11T02:27:59Z
