SAT solver error: (RuntimeError) No SAT solver available

Questions & Help Questions
,
2

You did the full recommended task? mix deps.compile ash --force? Barring that, you could rm -rf _build and then recompile.