- fix typo: "desc" -> "descr". Seems to make no difference, though
- fix typo: "desc" -> "descr". Seems to make no difference, though

ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver