golomb-solver
meal-scheduler
Our great sponsors
| golomb-solver | meal-scheduler | |
|---|---|---|
| 1 | 3 | |
| 5 | - | |
| - | - | |
| 0.0 | - | |
| 10 months ago | - | |
| Scala | ||
| - | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
golomb-solver
-
Ask HN: Do you use an optimization solver? Which one? Why? Do you like it?
CPLEX (by IBM). The documentation can be a bit thin sometimes. But its fast. Most benchmarks place it ahead of the google cloud products.
For fun I made this Golomb ruler solver using cplex: https://github.com/strateos/golomb-solver
meal-scheduler
-
Ask HN: Do you use an optimization solver? Which one? Why? Do you like it?
I use Minizinc in a personal toy project (https://gitlab.com/dustin-space/meal-scheduler), and GECODE or Google's ortools solver at the backend. It's used for meal planning. Unfortunately it's way way slower than I'd hope. I suspect I just have the domain not modeled efficiently. Maybe if I had a few days to put into it, and learn how to properly debug the CSP solver step by step, it might help...
-
What is your “I don't care if this succeeds” project?
That sounds like a fun application, both the usage and the implementation.
I wonder if you have any interesting example data-files that could be used with the model, preferable both something small and something larger? Would be fun to test the model locally to see how it behaves.
Notes: I'm assuming here that https://gitlab.com/dustin-space/meal-scheduler/-/blob/master... is the model used.
What are some alternatives?
HiGHS - Linear optimization software
osqp - The Operator Splitting QP Solver
ppp_thing - A poorly written, minimum viable PPPoE client with session handoff between redundant FreeBSD routers
python-mip - Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs
electron-browser-shell - A minimal, tabbed web browser with support for Chrome extensions—built on Electron.
optaplanner-quickstarts - Mirror of https://github.com/apache/incubator-kie-optaplanner-quickstarts
listudy - Listudy - chess training server
csips - A pure-python integer programming solver
Arthur - How to build your own AI art installation from scratch [Moved to: https://github.com/maxvfischer/DIY-ai-art]
clpz - Constraint Logic Programming over Integers
singyeong - 신경 - Cloud-native messaging/pubsub with powerful routing