ash/lib
..
ash
mix/tasks
ash.ex
sat_solver.ex