clpz
OptaPlanner
Our great sponsors
clpz | OptaPlanner | |
---|---|---|
5 | 30 | |
172 | 136 | |
- | 19.1% | |
4.4 | 7.4 | |
3 months ago | 11 days ago | |
Prolog | Java | |
- | Apache License 2.0 |
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.
clpz
-
Logic programming is overrated, at least for logic puzzles (2013)
As pointed out in the comments in the article, these kinds of logic puzzles are easier to solve using constraint programming than "regular" logic programming.
For example, see the solution to the Zebra Puzzle here: https://www.metalevel.at/prolog/puzzles which uses CLPZ[^1].
[^1]: https://github.com/triska/clpz
-
Markus Triska Interview on Prolog
Scryer has the strings-as-lists-but-implemented-efficiently thing, possibly more strict ISO Prolog compatible syntax, and it may ship with a more advanced constraint library (I'm not clear on the relationship between SWI's clpfd and Scryer clpz).
-
is it possible to have a reversable operation
None of these are full-fledged programming languages, however. They're limited to problems that lie in the polynomial hierarchy (A class which contains P and NP). Logic programming is generally only used to solve hard problems for which no good algorithm is known. Prolog also sort of fits this niche and it has a bunch of solvers integrated into it. Notably CLPFD which uses https://github.com/triska/clpz for constraint logic programming. Rosette (https://docs.racket-lang.org/rosette-guide/index.html) is another solver-based language. Except it uses lisp syntax (it's embedded in the Racket language). It uses Z3 as a solver (linked above for SMT theories)
- Ask HN: Do you use an optimization solver? Which one? Why? Do you like it?
-
What is the difference between constraint solving and constraints programming?
Constraint programming I guess is when one uses a prolog library such as: https://github.com/triska/clpz
OptaPlanner
-
OptaPlanner VS timefold-solver - a user suggested alternative
2 projects | 23 Jun 2023
-
Resource Scheduling
However, if you need to solve constraints etc., see: https://www.optaplanner.org/
-
Anything you wish there was an open source solution for?
Try looking for something built around Optaplanner - basically taking the end game of rostering and working backwards.
-
Seeking Advice and Collaboration for an Open-Source Worker Cooperative Platform Project
OptaPlanner takes some of the items tracked in tool like Odoo and creates plans based on them. I.E. how do you manage shifts while juggling multiple constraints (Jerry can only work weekends, Jeff can only work afternoons, Jim can work weekends but only on double time, etc.)
-
[Combinatorial Optimization] What is a good algorithm, or genre of algorithms that I should read up on for an optimization problem with a set of sets, where at least one element of each set is required?
There is a library out there called Optaplanner that is designed for optimization of NP complete problems. It is hard to tell if that is exactly what this is, but I think you should be able to use this regardless.
-
Searching for something to schedule IT helpdesk shifts
Just stumbled upon https://www.optaplanner.org. Looks very interesting but also really overkill.
-
Easy-to-use school scheduling software?
OptaPlanner - a generic scheduler.
-
Non profit Healthcare clinic looking for self hosted or cheap cloud alternative employee shift scheduling app?
OptaPlanner
-
Self-hosted schedulers?
I've never used it but it sounds like OptaPlanner may be a scheduler in the same vein?
- Algorithm for Assigning Flights to Planes
What are some alternatives?
prolog-checkers - A Player vs AI game of checkers implemented in Prolog
Choco - An open-source Java library for Constraint Programming
HiGHS - Linear optimization software
or-tools - Google's Operations Research tools:
SSI - A Prolog Compiler written in Prolog.
jsprit - jsprit is a java based, open source toolkit for solving rich vehicle routing problems
kanren - An extensible, lightweight relational/logic programming DSL written in pure Python
JaCoP - Java Constraint Programming solver
vroom - Vehicle Routing Open-source Optimization Machine
csips - A pure-python integer programming solver
kotlin-statistics - Idiomatic statistical operators for Kotlin