SAT solver error: (RuntimeError) No SAT solver available

Questions & Help Questions
,
3

Yes, I did try recompiling dependencies. I also forgot to mention that I’d already attempted that. It seems the error was a false positive from ElixirLS. Thanks again, Zach!

I have another question, if you don’t mind. I’m trying to integrate Inertia.js with ash_authentication using the magic_link strategy, and I’m running into two issues:

  1. I removed the sign_in_route method from the router to use a custom Inertia view, Login.tsx. This is a simple React component that makes a POST request to "/auth/user/magic_link/request". However, when I submit the form, ash_authentication attempts to redirect to /sign-in. Is there a way to integrate with Ash without using Ash LiveView? Not sure if i saw a concrete example somewhere in the docs

  2. The User resource generator created a policy that appears to only allow Ash internals to trigger the magic link actions. Is it safe or recommended to remove this policy? If not, how can I interact with these actions myself?

Thanks for your help and quick responses. Apologies for the slightly off-topic questions.