bokner

Total Owned Packages
6

Total Downloads
219 239

  • bitgraph0.1.16

    491 Downloads

    Mutable directed graph

  • fixpoint0.12.2

    6 901 Downloads

    Constraint Programming Solver

  • fixpoint_sat0.1.4

    165 Downloads

    SAT Solver

  • redbug_clone2.0.10

    721 Downloads

    Clone of redbug

  • replbug1.0.2

    1 435 Downloads

    Replbug is an addition to Rexbug that allows to inspect Erlang VM traces as variables in IEx

  • solverl1.0.16

    209 526 Downloads

    Elixir/Erlang interface to MiniZinc (https://www.minizinc.org/).