MiniZinc/minizinc-js

Use MiniZinc in the browser or with NodeJS

Language: JavaScript - Size: 1.14 MB - Last synced at: 38 minutes ago - Pushed at: about 4 hours ago - Stars: 40 - Forks: 8

karpfenprofessor/uvl_merger

merge variability models using java choco

Language: Java - Size: 3.54 MB - Last synced at: about 9 hours ago - Pushed at: about 12 hours ago - Stars: 1 - Forks: 0

xcsp3team/PyCSP3-models

Models (and data) of constrained problems developped with the library PyCSP3

Language: Python - Size: 16.4 MB - Last synced at: about 20 hours ago - Pushed at: about 23 hours ago - Stars: 10 - Forks: 1

CPToolset/XCSP-Launcher

A unified installer and launcher for XCSP3 solvers: install, build, and solve — with a single tool.

Language: Python - Size: 1.39 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

bokner/fixpoint

Constraint programming solver

Language: Elixir - Size: 3.53 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 60 - Forks: 0

chirindaopensource/rumours_complex_investment_decisions

End-to-end Python computational engine for qualitative financial modeling implementing Bočková et al. (2025) methodology. Employs Constraint Satisfaction Problems (CSP) and graph theory to model the impact of rumours on financial systems. Professional-grade codebase with extensive validation and customization capabilities.

Language: Jupyter Notebook - Size: 141 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

chocoteam/choco-solver

An open-source Java library for Constraint Programming

Language: Java - Size: 83.6 MB - Last synced at: about 6 hours ago - Pushed at: 5 days ago - Stars: 727 - Forks: 147

xcsp3team/ACE

Constraint Solver ACE

Language: Java - Size: 93.7 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 32 - Forks: 6

cnapy-org/CNApy

An integrated visual environment for metabolic modeling with common methods such as FBA, FVA and Elementary Flux Modes, and advanced features such as thermodynamic methods, extended Minimal Cut Sets, OptKnock, RobustKnock, OptCouple and more!

Language: Python - Size: 6.83 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 58 - Forks: 9

TimefoldAI/timefold-solver

The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

Language: Java - Size: 255 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,447 - Forks: 150

huub-solver/huub

A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed

Language: Rust - Size: 3.46 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 22 - Forks: 8

conjure-cp/conjure

Conjure: The Automated Constraint Modelling Tool

Language: Haskell - Size: 110 MB - Last synced at: 5 days ago - Pushed at: 9 days ago - Stars: 105 - Forks: 22

PyJobShop/PyJobShop

Solve scheduling problems with constraint programming in Python.

Language: Python - Size: 2.93 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 59 - Forks: 11

scipopt/scip

SCIP - Solving Constraint Integer Programs

Language: C - Size: 231 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 498 - Forks: 84

apache/incubator-kie-optaplanner

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

Language: Java - Size: 233 MB - Last synced at: 6 days ago - Pushed at: 22 days ago - Stars: 3,412 - Forks: 959

slothy-optimizer/slothy

Assembly super-optimization via constraint solving

Language: Assembly - Size: 105 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 215 - Forks: 20

TimefoldAI/timefold-quickstarts

Get started with Timefold quickstarts here. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

Language: Java - Size: 28.1 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 401 - Forks: 117

xoolive/facile

Python constraint programming library

Language: OCaml - Size: 413 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 24 - Forks: 6

acxz/optimal-job-scheduling

Language: Python - Size: 90.8 KB - Last synced at: 5 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

ConSol-Lab/Pumpkin

A Lazy Clause Generation Constraint Programming solver written in Rust.

Language: Rust - Size: 19.1 MB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 42 - Forks: 20

hadipourh/autoguess

An easy-to-use, general and open-source tool to solve the guess-and-determine problem

Language: Python - Size: 24.3 MB - Last synced at: about 6 hours ago - Pushed at: 18 days ago - Stars: 28 - Forks: 4

xcsp3team/pycsp3

A Python Library for modeling combinatorial constrained problems

Language: Python - Size: 216 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 72 - Forks: 9

ScheduleOpt/optalcp-benchmarks

Benchmarks, demos and utilities for OptalCP solver

Language: Scheme - Size: 200 MB - Last synced at: 10 days ago - Pushed at: 11 days ago - Stars: 3 - Forks: 1

hadipourh/zeroplus

Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2

Language: MiniZinc - Size: 3.49 MB - Last synced at: about 6 hours ago - Pushed at: about 1 month ago - Stars: 14 - Forks: 0

jmjrawlings/unconstrained

Python devcontainer for constraint programming

Language: Shell - Size: 10.7 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 3 - Forks: 0

ScheduleOpt/optalcp-js-bin-preview

OptalCP binaries for JavaScript (Preview Version)

Size: 21 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

ScheduleOpt/optalcp-js

OptalCP JavaScript API

Language: JavaScript - Size: 467 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

lorenzialessandro/hcpga

A Hybrid Constrained Programming with Genetic Algorithm for the Job Shop Scheduling Problem

Language: Python - Size: 112 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 1 - Forks: 0

lume/kiwi

Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).

Language: TypeScript - Size: 555 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 183 - Forks: 9

MiniZinc/minizinc-python

Access to all MiniZinc functionality directly from Python

Language: Python - Size: 1000 KB - Last synced at: 5 days ago - Pushed at: 23 days ago - Stars: 164 - Forks: 27

paulk-asert/groovy-data-science

Some Data Science examples using Groovy

Language: Groovy - Size: 13.3 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 40 - Forks: 11

thebhavjotsingh/TA-Scheduler

A modern desktop application for assigning Teaching Assistants (TAs) to lab sections using constraint programming optimization.

Language: Python - Size: 169 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0

Pabloo22/job_shop_lib

A modular Python library for creating, solving, and visualizing job shop scheduling problems.

Language: Python - Size: 24 MB - Last synced at: 2 days ago - Pushed at: 6 days ago - Stars: 58 - Forks: 10

yangeorget/nucs

NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains

Language: Python - Size: 2.62 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 48 - Forks: 1

codac-team/codac

Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint programming over real numbers, trajectories and sets. It has numerous applications in parameter estimation, guaranteed integration, robot localization, and provides reliable outputs.

Language: C++ - Size: 26 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 44 - Forks: 19

gdorleon/Constraint-Programming

University assignment - M1 Inteligent Systems and Multimedia ##

Language: Java - Size: 756 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 1 - Forks: 0

bokner/solverl

Erlang/Elixir interface to MiniZinc.

Language: Elixir - Size: 1.1 MB - Last synced at: 20 days ago - Pushed at: almost 2 years ago - Stars: 45 - Forks: 7

hakank/hakank

My public programs and models - mostly combinatorial problems and puzzles

Language: JavaScript - Size: 59.3 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 384 - Forks: 78

lifebeyondfife/Decider

An Open Source .Net Constraint Programming Solver

Language: C# - Size: 261 KB - Last synced at: 17 days ago - Pushed at: 5 months ago - Stars: 161 - Forks: 24

ktnr/BinPacking2D

Exact solutions for two-dimensional bin packing problems by branch-and-cut

Language: Python - Size: 1.06 MB - Last synced at: 5 days ago - Pushed at: 4 months ago - Stars: 75 - Forks: 10

triska/simsttab

Simple timetabling engine for schools

Language: Prolog - Size: 35.2 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 29 - Forks: 12

carlosgeos/laligafantasy

⚽ 🇪🇸 Get the edge on LaLiga Fantasy

Language: Clojure - Size: 480 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 1

Seleneplus/minizinc-optimization-scheduler

Constraint-based scheduling in MiniZinc: task allocation, resource capabilities, and maintenance cycles with a multi-objective formulation. Example datasets and results included.

Language: MiniZinc - Size: 266 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

CameleoGrey/greyjack-solver-python

GreyJack Solver is a "jack of all trades" constraint metaheuristic solver for Python, built on the robust foundations of Rust and Polars

Language: Python - Size: 1.09 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

fel88/CascadeDesktop

OpenCASCADE GUI Viewer/Editor

Language: C# - Size: 4.32 MB - Last synced at: 21 days ago - Pushed at: about 1 month ago - Stars: 51 - Forks: 17

gnboorse/centipede

Constraint Satisfaction Problem Solver for Golang

Language: Go - Size: 805 KB - Last synced at: 27 days ago - Pushed at: about 3 years ago - Stars: 69 - Forks: 11

CameleoGrey/greyjack-solver-rust

GreyJack Solver is the metaheuristic constraint solver for continuous, integer, mixed integer problems built on top of Polars

Language: Rust - Size: 9.2 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

markvincevarga/shift-optimizer 📦

A Constraint Programming solver for the Nurse Scheduling Problem, with personal shift preferences.

Language: Python - Size: 304 KB - Last synced at: 26 days ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 6

rmfalves/pmrobo

PMRobo is a cloud-based, multi-threaded project scheduling engine written in Go. Given project constraints such as task dependencies, resource capacities, and task resource consumption, it sets task start dates so that all constraints are met and the project is completed in the shortest possible timeframe.

Language: Go - Size: 15 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

Hareski/language-free-acq

A method for learning a constraint network with only solutions and non-solutions but no knowledge of the language to be used.

Language: Python - Size: 2.79 MB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

arnaud-m/cryptator

A constraint-based cryptarithm solver

Language: Java - Size: 4.56 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

ptal/pcp

Constraint programming in Rust

Language: Rust - Size: 598 KB - Last synced at: 9 days ago - Pushed at: almost 2 years ago - Stars: 109 - Forks: 8

xcsp3team/cosoco

COmpact SOlver for COnstrained problems

Language: C++ - Size: 1.06 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 12 - Forks: 3

psanse/Bfilt

Linux release and dataset of instances tested of the new algorithm Bfilt for Binary Constraint Satisfaction Problems. The new algorithm improves over the state-of-the-art approaches.

Language: MiniZinc - Size: 327 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 1

joshuaguerin/Answer-Set-Programming-Algorithms

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

Language: Python - Size: 12.6 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 19 - Forks: 1

Wikunia/ConstraintSolver.jl

ConstraintSolver in Julia: Blog posts ->

Language: Julia - Size: 2.18 MB - Last synced at: 24 days ago - Pushed at: over 3 years ago - Stars: 136 - Forks: 14

siemens/JMiniZinc

JMiniZinc

Language: Java - Size: 1.56 MB - Last synced at: 13 days ago - Pushed at: almost 5 years ago - Stars: 18 - Forks: 6

devhnry/course-schedular-backend

A modern university scheduling platform focused on efficient management of academic resources — venues, departments, programs, lecturers, and course timetables. Built with modular, maintainable architecture to support complex scheduling needs and integration with existing campus systems. Still in Progress...

Language: Java - Size: 325 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 1

pharmbio/plaid

PLAID (Plate Layouts using Artificial Intelligence Design) is a flexible constraint-programming model representing the Plate Layout Design problem.

Language: Jupyter Notebook - Size: 600 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 17 - Forks: 4

xcsp3team/XCSP3-Java-Tools

XCSP3 Tools in Java

Language: Java - Size: 7.96 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 22 - Forks: 5

joe-stifler/TP-MC658

Resolvendo problemas NP-difíceis - Unicamp

Size: 1.23 MB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

JuliaConstraints/LocalSearchSolvers.jl

A Julia package to manage Constraint-Based Local Search (CBLS) solvers.

Language: Julia - Size: 1.62 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 29 - Forks: 0

richoux/GHOST

General meta-Heuristic Optimization Solving Toolkit

Language: C++ - Size: 30.5 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 36 - Forks: 5

jump-dev/MiniZinc.jl

A Julia interface to the MiniZinc constraint modeling language

Language: Julia - Size: 146 KB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 18 - Forks: 4

aymericb213/IAC

Implementation of the Incremental and Active Clustering (IAC) framework

Language: HTML - Size: 896 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

PengKuang/wasp-ai-ml-25vt

Assignment for the WASP course AI & ML - module 1

Language: Jupyter Notebook - Size: 590 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

yangeorget/clp_fds

The clp(FD,S) system developed during my PhD at INRIA

Language: C - Size: 576 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

yangeorget/koalog-jcs

A constraint solver in Java developed during the Koalog period (2002-2006)

Language: Java - Size: 1.07 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

crillab/CSUniverse

CSUuniverse is a C# version of UNIVERSE.

Language: C# - Size: 679 KB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

xgillard/ddo

DDO a generic and efficient framework for MDD-based optimization.

Language: Rust - Size: 14.9 MB - Last synced at: 20 days ago - Pushed at: 4 months ago - Stars: 62 - Forks: 8

MiniZinc/minizinc-playground

MiniZinc playground using WebAssembly

Language: Svelte - Size: 18.2 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 10 - Forks: 2

VincentGsell/2d-Constraints-Demos

Playing with 2d constaints

Language: Pascal - Size: 1.12 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 9 - Forks: 3

xcsp3team/XCSP3-CPP-Parser

XCSP3 Core Parser in C++

Language: C++ - Size: 4.02 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 19 - Forks: 11

jstrieb/poker-chipper

Optimally allocate poker chips using constrained, nonlinear optimization

Language: Svelte - Size: 14.4 MB - Last synced at: 4 months ago - Pushed at: 9 months ago - Stars: 174 - Forks: 4

corail-research/SeaPearl.jl

Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

Language: Julia - Size: 8.7 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 169 - Forks: 10

irfansharif/solver

SAT solver library in Go; wraps around Google's Operational Research Tools

Language: Go - Size: 280 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 26 - Forks: 9

weiran-aitech/shift_schedule

Modelling and Solving Employee Shift Scheduling (Including Nurse Rostering) Problems Using Constraint Programming (Combination of Artificial Intelligence and Operations Research) and Software Engineering Technologies 应用约束规划(人工智能+运筹学)及软件工程技术建模和解决员工排班(包括护士排班)调度问题

Language: Python - Size: 11 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 38 - Forks: 4

Arthod/python-minizinc-maker

Create pure Minizinc .mzn files from Python using python-minizinc-maker library.

Language: Python - Size: 1.91 MB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 6 - Forks: 0

pjritee/pl_search_cpp

A C++ module that uses Prolog ideas for search and constraint programming

Language: C++ - Size: 3.28 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

xoolive/constraints

Materials for a constraint programming course

Language: TeX - Size: 2.74 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 21

Xavier-MaYiMing/Scheduling-Models

A collection of Mixed Integer Programming and Constraint Programming models for various scheduling problems, with Python implementations using CPLEX and Gurobi.

Language: Python - Size: 3.02 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

xoolive/optim4ai

Optimisation for Artificial Intelligence, a 4-day course

Language: Jupyter Notebook - Size: 5.76 MB - Last synced at: 5 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 1

chutrunganh/Optimization-Project-IT3052E

Optimizing the bin packing problem, aiming to efficiently allocate items of varying sizes into a finite number of bins while maximizing total profit, using optimization algorithms

Language: Python - Size: 2.39 MB - Last synced at: 5 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0

triska/clpfd

Constraint Logic Programming over Finite Domains

Language: Prolog - Size: 823 KB - Last synced at: 6 months ago - Pushed at: over 5 years ago - Stars: 175 - Forks: 11

pjritee/pl_search

A Python module that uses Prolog ideas for search and constraint programming

Language: Python - Size: 208 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

bokner/solverview

solverl+LiveView examples

Language: Elixir - Size: 384 KB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 17 - Forks: 0

mlabonne/linear-programming-course

Hands-on course about linear programming and mathematical optimization.

Language: Jupyter Notebook - Size: 362 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 97 - Forks: 15

starkblaze01/Jenereta

Automated TIme-Table Generator

Language: JavaScript - Size: 9.95 MB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 25 - Forks: 5

avaneev/biteopt

Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP

Language: C++ - Size: 3.32 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 148 - Forks: 9

SimReale/multiple_couriers_CVRP

Combinatorial optimization project for the Multiple Couriers Problem (MCP).

Language: Python - Size: 2.18 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

triska/clpb

Boolean Constraint Solving in Prolog

Language: Prolog - Size: 305 KB - Last synced at: 6 months ago - Pushed at: 9 months ago - Stars: 39 - Forks: 6

milind-prajapat/Sudoku

Sudoku Recognition And Its Solution Using Image Processing, Constraint Programming And Backtracking

Language: Python - Size: 11.8 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 2

m--s/printing-optimization

Minimize sticker printing costs and waste using an OR-Tools CP-SAT optimization approach—define layouts, meet demands, and reduce total printed pages.

Language: Python - Size: 16.6 KB - Last synced at: 5 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

erohkohl/n-queens-sat

Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.

Language: Rust - Size: 16.3 MB - Last synced at: 4 months ago - Pushed at: about 8 years ago - Stars: 7 - Forks: 1

alussana/TrieSUS

Find the Smallest Unique Subset (SUS), fast

Language: Python - Size: 481 KB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 5 - Forks: 1

jmjrawlings/MiniZinc.Net

MiniZinc ↔ .NET

Language: C# - Size: 2.61 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 0

jpneto/topicsInPython

Jupyter notebooks about Programming, Statistics and Math

Language: Jupyter Notebook - Size: 3.39 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 3 - Forks: 1

Radi3nt/LWPhysicsEngine

This project aims at creating a realtime physics engine to be used in games

Language: Java - Size: 359 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

crillab/aceurancetourix

Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.

Language: Java - Size: 23.3 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

paulk-asert/groovy-constraint-programming

Three common programming paradigms or styles are the imperative (OO & procedural), functional, and logic (or constraint) styles. This repo shows examples of the latter using the Apache Groovy programming language and other (mostly JVM) languages which support this style of programming (often using libraries).

Language: Groovy - Size: 27.4 MB - Last synced at: 5 months ago - Pushed at: 9 months ago - Stars: 7 - Forks: 5