This pull request fixes issues with the policy authorizer setup instructions in the tutorial.
The first commit adds a missing import to a couple sections. The second commit adds instructions for adding the picosat_elixir solver. The content for the second pull request was taken from the main Ash tutorial.
This pull request fixes issues with the policy authorizer setup instructions in the tutorial.
The first commit adds a missing import to a couple sections. The second commit adds instructions for adding the
picosat_elixir
solver. The content for the second pull request was taken from the main Ash tutorial.