bokner
Total Owned Packages
5
Total Downloads
171 825
-
fixpoint0.10.3
4 835 Downloads
Constraint Programming Solver
-
fixpoint_sat0.1.2
36 Downloads
SAT Solver
-
redbug_clone2.0.10
548 Downloads
Clone of redbug
-
replbug1.0.2
1 165 Downloads
Replbug is an addition to Rexbug that allows to inspect Erlang VM traces as variables in IEx
-
solverl1.0.16
165 241 Downloads
Elixir/Erlang interface to MiniZinc (https://www.minizinc.org/).
