bokner
Hello everyone,
For those of you who are interested in Constraint Programming, please check out
Erlang/Elixir interface to Minizinc
Minizinc is a constraint modelling language that allows to model and solve hard optimization problems, such as scheduling, vehicle routing, TSP etc.
Solving Sudoku is a breeze, as you will see by checking out one of the examples in the code.
The project has just started, but it appears to be working for several models it has been tested with.
Enjoy and let me know what you think!
Where Next?
Trending in Discussions
Other Trending Topics
Latest on Elixir Forum
Sponsor Spotlight
Elixir, Erlang & messaging conferences from Code Sync. Next up: ElixirConf US (10–11 Sep) & Code BEAM Europe (21–22 Oct), Haarlem + online.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #library
- #deployment
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #elixirconf
- #channels
- #exunit
- #discussion
- #code-sync
- #podcasts
- #javascript
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #ai
- #elixirconf-us
- #blog-post
- #elixir-ls
- #phoenix_html
- #iex
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #hex
- #security
- #metaprogramming
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Elixir, Erlang & BEAM conferences from Code Sync - join us in 2026!
Practical resources that improve the lives of professional developers.
Bringing learning, work and compliance together since 1987.
Producing high quality Elixir screencasts since 2017.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"
Showing Posts 1 to 2- Show Best Posts
- Show All (oldest first)
- Show All (newest first)
bokner
Hi everyone,
Just wanted to update you on the progress of Solverl. v1.0.1 has been released, and it now matches many of Minizinc Python features. Several MiniSearch standard meta-search strategies have been implemented. Many more examples and unit tests have been added as well.
Still a lot of work to do, but it appears to be stable and functional.
Any feedback is highly appreciated!
bokner
Hi everyone,
Check out SolverlView, a supplemental project that will have examples of Solverl using Phoenix LiveView. As of now, it has an implementation of Sudoku Solver (functional, albeit with very basic HTML layout).
I have just started learning Phoenix and LiveView, so if anyone with a better experience in building web apps wants to jump in with any help, in particular, make Sudoku Solver look better, you’re are more than welcome to do so.
As one of the outcomes of this project, I’m thinking of building a Web interface to MiniZinc that would be comparable to MiniZinc IDE.