Java Constraint Satisfaction Problem Solver

4 Constraint Satisfaction Problem Solver libraries and projects

• OptaPlanner

  7.7 9.4 L3 Java

  A scalable Constraint Solver by Red Hat

• Choco

  4.9 8.9 L3 Java

  Off-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques.

• JaCoP

  3.7 5.2 L1 Java

  Includes an interface for the FlatZinc language, enabling it to execute MiniZinc models.

SaaSHub - Software Alternatives and Reviews

SaaSHub will help you find the best software and product alternatives

Promoted www.saashub.com



• Sat4J

  - -

  State-of-the-art SAT solver for boolean and optimization problems.

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.

Popular Comparisons

• OptaPlanner
  vs
  Choco
• JaCoP
  vs
  Choco
• OptaPlanner
  vs
  JaCoP
• OptaPlanner
  vs
  Sat4J

99 Remote Jobs

Work from home. Anywhere in the world.
+ Post a job

• Software Engineer - Search/Data (Remote, US Timezones Only, Fulltime/Benefits) at Gaia GPS
  Dev, Python, Postgresql
• Software Engineer - Full Stack at 6 River Systems
  Dev, Typescript, Javascript
• Software Engineer - Spacecraft Flight Dynamics System (FDS) at Advanced Space, LLC
  Dev, Space, Kubernetes
• DevOps engineer for Esports at FirstBlood
  DevOps, Amazon-web-services, Kubernetes
• Senior Software Engineer - Web Monetization Ecosystem for Content Creators at Coil
  Dev, Javascript, Node.js
• Principal Software Engineer (Remote) at Hobsons
  Dev, Javascript, Reactjs
• Senior Backend Engineer (m/w/x) - remote possible at Jimdo
  Dev, Python, Django
• Software Engineer III - Business Systems at CNC Software, Inc
  Dev, C#, Asp.net-mvc
• Web Developer for BLOX at TownNews
  Dev, Javascript, Html
• Backend Software Engineer (Node.js) - REMOTE at SemanticBits
  Dev, Node.js, Amazon-web-services