VIBES Alternatives

Similar projects and alternatives to VIBES

or-tools

57 10,399 9.9 C++ VIBES VS or-tools

Google's Operations Research tools:
python-constraint

3 402 8.6 Python VIBES VS python-constraint

Constraint Solving Problem resolver for Python
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
JaCoP

2 217 8.2 Java VIBES VS JaCoP

Java Constraint Programming solver
2021-2022

1 - - VIBES VS 2021-2022

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better VIBES alternative or higher similarity.

Suggest an alternative to VIBES

VIBES reviews and mentions

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
8 projects | news.ycombinator.com | 12 Sep 2022

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.