satyros: Step-by-step SAT solver for educational purposes

[ language, library, mit ] [ Propose Tags ]
Versions [RSS],,,,,,,,,,,
Dependencies base (>=4.12 && <4.15), containers, extra, free, lens, mtl, random, vector [details]
License MIT
Copyright 2021 Junyoung/Clare Jang
Author Junyoung/Clare Jang
Category Language
Home page
Bug tracker
Source repo head: git clone
Uploaded by Ailrun at 2021-11-14T22:56:24Z
Downloads 1136 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2021-11-14 [all 1 reports]

Readme for satyros-

[back to package description]