VIBES
Verified, Incremental, Binary Editing with Synthesis (by draperlaboratory)
JaCoP
Java Constraint Programming solver (by radsz)
| VIBES | JaCoP | |
|---|---|---|
| 2 | 2 | |
| 42 | 217 | |
| - | - | |
| 1.7 | 8.2 | |
| about 1 year ago | 5 months ago | |
| OCaml | Java | |
| MIT License | GNU General Public License v3.0 or later |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
VIBES
Posts with mentions or reviews of VIBES.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-09-12.
-
Constraint Programming
Thanks for the suggestion! I've known we should be submitting our verification problems to smtcomp, but hadn't thought about minizinc challenges
Our current model is here https://github.com/draperlaboratory/VIBES/blob/main/resource... We don't have any parameter files committed to the repo, they are generated by the compiler. It has been on my todo list for a while to completely refactor this model. Currently, the constraint solve can take 10s on our hardest problems so far, which would be nice to get down, but not our biggest blocker.
JaCoP
Posts with mentions or reviews of JaCoP.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-09-12.
- Constraint Programming
-
Sputnim A Sat Solver In Nim
I used MiniZinc to model a scheduling problem for a customer which used constraints to block off already scheduled time, holiday time, non-work hours, etc. and it also had soft constraints for ensuring that blocks of time would be prioritized first to ensure that preferred representatives would get to a work with a given customer first based on previous relationship and skills. Once we translated the modelled constraints from MiniZinc to JaCoP in Java, the solution was able to generate hundreds of solutions per second. And note that it was able to do this minute level resolution such that no blocks of time were wasted because of scheduler limitations.
What are some alternatives?
When comparing VIBES and JaCoP you can also consider the following projects:
or-tools - Google's Operations Research tools:
Choco - An open-source Java library for Constraint Programming
OptaPlanner - Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.