Awesome Open Source

Programming Languages

Search results for constraint programming

constraint-programming x

71 search results found

Incubator Kie Optaplanner ⭐ 3,241

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

Choco Solver ⭐ 654

An open-source Java library for Constraint Programming

Timefold Solver ⭐ 556

The open source AI solver. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems

My public programs and models - mostly combinatorial problems and puzzles

SCIP - Solving Constraint Integer Programs

Generic Constraint Development Environment

Constraint Logic Programming over Integers

Seapearl.jl ⭐ 155

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

Minizinc Python ⭐ 127

Access to all MiniZinc functionality directly from Python

Decider ⭐ 120

An Open Source .Net Constraint Programming Solver

Biteopt ⭐ 118

Derivative-Free Global Optimization Method (C++, Python binding)

Constraintsolver.jl ⭐ 117

ConstraintSolver in Julia: Blog posts ->

Timefold Quickstarts ⭐ 117

Get started with Timefold quickstarts here. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems

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

Feloopy ⭐ 105

FelooPy: An integrated optimization environment for AutoOR in Python

Constraint Logic Programming over Finite Domains

Assembly super-optimization via constraint solving

Conjure: The Automated Constraint Modelling Tool

Constraint programming in Rust

Diff Sat ⭐ 56

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

A Python Library for modeling combinatorial constrained problems

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

A Python wrapper for the MiniZinc tool pipeline.

Linear Programming Course ⭐ 43

Hands-on course about linear programming and mathematical optimization.

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!

Centipede ⭐ 34

Constraint Satisfaction Problem Solver for Golang

Groovy Data Science ⭐ 34

Some Data Science examples using Groovy

Android Percent Layout Sample ⭐ 34

Note: Its build using ConstraintLayout. The sample is an alternative for nested layouts. Build to remove nested structure and create a flat xml layout, which eventually improves performance

General meta-Heuristic Optimization Solving Toolkit

Boolean Constraint Solving in Prolog

Erlang/Elixir interface to MiniZinc.

Entropy-controlled contexts in Python

Localsearchsolvers.jl ⭐ 24

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

Python constraint programming library

Constraint Solver ACE

Safe Pdp ⭐ 19

Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.

Xcsp3 Java Tools ⭐ 19

XCSP3 Tools in Java

Ea Fc 24 Automated Sbc Solving ⭐ 18

EA FC 24 Automated SBC Solving using Integer Programming ⚽

Cplex Scala ⭐ 17

A scala library for IBM ILOG CPLEX

My unofficial picat http://picat-lang.org/ repository

Minizinc Js ⭐ 16

Use MiniZinc in the browser or with NodeJS

Jenereta ⭐ 16

Automated TIme-Table Generator

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

Hypergraphlib ⭐ 16

C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.

Shift_schedule ⭐ 16

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

Xcsp3 Cpp Parser ⭐ 15

XCSP3 Core Parser in C++

Convex optimization for java and scala, built on Apache Commons Math

🧚 Hook-based Intents for Ethereum

Constrainttp ⭐ 13

Constraint Type provider is a Type provider that provides constraints over F# Types.

Programming language based on the synchronous and constraint paradigms

Nutmeg – a MIP and CP branch-and-check solver

Timefold Solver Enterprise ⭐ 11

Timefold's commercial offering, enhancing Timefold Solver Community Edition with additional features. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems

Snaplayout ⭐ 10

Concise Auto Layout API to chain programmatic constraints while easily updating existing constraints.

Autoguess ⭐ 10

An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges

Mfjs Logic ⭐ 10

Logical programming in JavaScript

Pyconstruct ⭐ 10

Python library for declarative, constrained, structured-output prediction.

Solverview ⭐ 10

solverl+LiveView examples

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

Jminizinc ⭐ 9

COmpact SOlver for COnstrained problems

Express constraint programming problem with python and solve it with minizinc

Binpacking2d ⭐ 7

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

Minizinc Playground ⭐ 7

MiniZinc playground using WebAssembly

Nacre_mini ⭐ 6

NACRE : Nogood And Clause Reasoning Engine

Groovy Constraint Programming ⭐ 6

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

N Queens Sat ⭐ 5

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.

University_timetabling ⭐ 5

An AI planning project based on the 2019 international university timetabling competition which used commercial software IBM CPLEX to generate feasible course timetables with minimum penalty.

Pyjobshop ⭐ 5

Modeling and solving job shop problems in Python.

Answer Set Programming Algorithms ⭐ 5

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

Constellation Js ⭐ 5

Library for combinatorially specifying, constraining, and exploring genetic design spaces.

Learniecp ⭐ 5

An implementation of MiniCP from a Julia Programmer's view

1-71 of 71 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.