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

homepage: https://github.com/Ailrun/satyros#readme
changelog-type: ''
hash: 08e901b7d2f828b522bc6fc171e8f791587f47b3cc72307bd838abafcdd688ae
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
author: Junyoung/Clare Jang
latest: 0.1.0.1
description-type: markdown
description: '# satyros'
license-name: MIT

Update from Hackage at 2021-10-30T02:03:38Z
Update from Hackage at 2021-10-30T02:03:38Z
