Alternatives and similar repositories for EssenceCatalog

Users that are interested in EssenceCatalog are comparing it to the libraries listed below

• conjure-cp / conjure

  View on GitHub
  Conjure: The Automated Constraint Modelling Tool
  ☆110Updated this week
• huub-solver / huub

  View on GitHub
  A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
  ☆27Updated this week
• JuliaConstraints / JuCP.jl

  View on GitHub
  JuMP extensions for constraint programming.
  ☆16Jun 5, 2020Updated 5 years ago
• jump-dev / MiniZinc.jl

  View on GitHub
  A Julia interface to the MiniZinc constraint modeling language
  ☆19Updated this week
• tias / constraint-solving-course

  View on GitHub
  An open-source course on constraint solving
  ☆25Oct 24, 2025Updated 3 months ago
• csplib / csplib

  View on GitHub
  A benchmark library for constraints
  ☆98Oct 29, 2025Updated 3 months ago
• JuliaConstraints / ConstraintProgrammingExtensions.jl

  View on GitHub
  Extensions to MathOptInterface to support constraint programming.
  ☆24Jul 12, 2025Updated 7 months ago
• ed-lam / nutmeg

  View on GitHub
  Nutmeg – a MIP and CP branch-and-check solver
  ☆31Jun 22, 2023Updated 2 years ago
• potassco / plasp

  View on GitHub
  🗺️ ASP planning tools for PDDL
  ☆32Jul 9, 2021Updated 4 years ago
• lanl-ansi / MINLPLib.jl

  View on GitHub
  A JuMP-based library of Non-Linear and Mixed-Integer Non-Linear Programs
  ☆37Oct 12, 2023Updated 2 years ago
• minion / minion

  View on GitHub
  A high-performance Constraint Programming solver, created before the yellow things took the same name.
  ☆30Jul 7, 2025Updated 7 months ago
• RelationalAI / rai-cli

  View on GitHub
  The RelationalAI command line interface
  ☆12Mar 18, 2025Updated 10 months ago
• UniMath / 2006_03_Homotopy_lambda_calculus

  View on GitHub
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Jan 11, 2015Updated 11 years ago
• timvieira / rl

  View on GitHub
  Reference implementation of algorithms for reinforcement learning and Markov decision processes.
  ☆12Jan 28, 2021Updated 5 years ago
• cau-placc / pakcs

  View on GitHub
  PAKCS: The Portland Aachen Kiel Curry system
  ☆14Dec 16, 2025Updated last month
• GeorgOfenbeck / SpaceTime

  View on GitHub
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Jul 20, 2017Updated 8 years ago
• tyler-utah / PBL

  View on GitHub
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆10Jun 21, 2015Updated 10 years ago
• lanl / Parallel-Quantum-Annealing

  View on GitHub
  Parallel Quantum Annealing
  ☆10Jan 7, 2023Updated 3 years ago
• LuddeWessen / assembly-robot-manager-minizinc

  View on GitHub
  A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…
  ☆11Jul 6, 2021Updated 4 years ago
• finnqiao / datashader_test

  View on GitHub
  ☆10Dec 26, 2018Updated 7 years ago
• leihuang / infotopo0

  View on GitHub
  Information geometry and its extension information topology
  ☆11Dec 2, 2017Updated 8 years ago
• Pressio / pressio4py

  View on GitHub
  Python bindings to pressio
  ☆10Oct 18, 2022Updated 3 years ago
• friguzzi / bddem

  View on GitHub
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆12Aug 30, 2025Updated 5 months ago
• nfzhou / lp-contest

  View on GitHub
  ☆11Sep 21, 2025Updated 4 months ago
• nfzhou / Picat

  View on GitHub
  programs written in Picat
  ☆11Jan 22, 2026Updated 3 weeks ago
• osPlanning / omx-python

  View on GitHub
  Python API for OMX
  ☆11Mar 28, 2022Updated 3 years ago
• LSaldyt / unitary-proposal

  View on GitHub
  My accepted! proposal for the unitary fund quantum computing grant. Also accepted as an abstract to a conference. See github.com/LSaldyt/…
  ☆12Jan 12, 2019Updated 7 years ago
• ipython-contrib / IPython-contrib

  View on GitHub
  IPython-contrib is an unofficial organisation that try to regroup project that are made to be used with IPython. Please ask if you want t…
  ☆14Jan 24, 2013Updated 13 years ago
• mkoeppe / cutgeneratingfunctionology

  View on GitHub
  Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…
  ☆12Sep 26, 2025Updated 4 months ago
• dbunker / SABR

  View on GitHub
  Spatial and Action Based Resolver
  ☆13Jan 18, 2019Updated 7 years ago
• zxcalc / sample-projects

  View on GitHub
  Sample projects for Quantomatic
  ☆12Apr 25, 2020Updated 5 years ago
• RalphAS / DoubleBLAS.jl

  View on GitHub
  Fairly fast, quite precise linear algebra in Julia
  ☆10Sep 4, 2023Updated 2 years ago
• alexeyignatiev / minds

  View on GitHub
  SAT-based miner of smallest size decision sets
  ☆13Jan 22, 2021Updated 5 years ago
• Deltares / numba_celltree

  View on GitHub
  Celltree data structure for searching for points, lines, boxes, and cells (convex polygons) in a two dimensional unstructured mesh.
  ☆13Feb 4, 2026Updated last week
• mossr / PlutoNotebooks

  View on GitHub
  Random Pluto notebooks in Julia
  ☆12Oct 23, 2025Updated 3 months ago
• fraleo / OMTPlan

  View on GitHub
  A python framework for Optimal Planning Modulo Theories
  ☆12Jan 26, 2024Updated 2 years ago
• panviz / kms

  View on GitHub
  Knowledge management system based on graph data structure
  ☆13Jul 2, 2024Updated last year
• PesantGilles / MiniCPBP

  View on GitHub
  Replacing standard support propagation by belief propagation in MiniCP
  ☆13Updated this week
• SciML / DiffEqApproxFun.jl

  View on GitHub
  The tools for proper interactions between ApproxFun.jl and DifferentialEquations.jl for pseudospectiral partial differential equation dis…
  ☆14Nov 30, 2020Updated 5 years ago