What is the difference between constraint solving and constraints programming?

This page summarizes the projects mentioned and recommended in the original post on /r/compsci
clp Constraints integer-arithmetic Prolog sicstus-prolog

InfluxDB
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • clpz

    Constraint Logic Programming over Integers

    • Constraint programming I guess is when one uses a prolog library such as: https://github.com/triska/clpz

  • or-tools

    Google's Operations Research tools:

    • In general, constraint programming (CP for short) is a field of reasarch, applications, and systems for solving combinatorial (optimization) problems. Most often it is used with finite domain variables, and common application areas are scheduling and rostering. It is similar to related fields such as (Mixed) integer Programming, SAT solving, SMT, and various local search methods. CP can be used from modelling languages (such as MiniZinc) or using constraint programming systems (such as Gecode or Google or-tools). Classically, many CP systems have been built into Prolog systems.

  • InfluxDB

    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.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts