Constraint Programming Solver
Clone of redbug
Replbug is an addition to Rexbug that allows to inspect Erlang VM traces as variables in IEx
Elixir/Erlang interface to MiniZinc (https://www.minizinc.org/).