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

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

Update from Hackage at 2021-11-05T19:58:20Z
Update from Hackage at 2021-11-05T19:58:20Z
