Decider Alternatives

Similar projects and alternatives to Decider

• or-tools

  57 10,446 9.9 C++ Decider VS or-tools

  Google's Operations Research tools:

  

• spack

  52 3,949 10.0 Python Decider VS spack

  A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

  

• 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.

  

• scala

  45 14,276 9.8 Scala Decider VS scala

  Scala 2 compiler and standard library. Bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

  

• z3

  28 9,731 9.8 C++ Decider VS z3

  The Z3 Theorem Prover

  

• pub

  21 1,028 9.2 Dart Decider VS pub

  The pub command line tool

  

• OptaPlanner

  30 136 7.4 Java Decider VS OptaPlanner

  Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

  

• Choco

  4 668 8.5 Java Decider VS Choco

  An open-source Java library for Constraint Programming

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• clingo

  3 585 7.9 C++ Decider VS clingo

  🤔 A grounder and solver for logic programs.

  

• gecode

  3 262 0.0 C++ Decider VS gecode

  Generic Constraint Development Environment

  

• VsVIM

  4 3,594 4.6 C# Decider VS VsVIM

  Vim Emulator Plugin for Visual Studio 2015+

  

• sturm

  2 9 10.0 Python Decider VS sturm

  Simpleminded terminal interface