bokner
Erlang/Elixir interface to Minizinc
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!
Trending in Discussions
Other Trending Topics
Chat & Discussions>Discussions
Latest on Elixir Forum
Sponsor Spotlight
Supporting innovation across the BEAM ecosystem.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #elixirconf
- #exunit
- #discussion
- #code-sync
- #javascript
- #podcasts
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #phoenix_html
- #iex
- #blog-post
- #graphql
- #genstage
- #ai
- #elixirconf-us
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #metaprogramming
- #performance
- #security
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.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Practical resources that improve the lives of professional developers.
Develop your skills with books, videos, and courses.
Bringing learning, work and compliance together since 1987.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"
First 2 of 2 Posts
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.