🎚️ Provides a composer package with abstractions of version constraints.

Validate GraphQL fields

A Java 11+ library to fix malformed DSV (Delimiter-Separated Values) data automatically.

A Python package for creating and solving constrained randomization problems.

Nothing but sugar.

The most powerful and extensible way to control the output of large language models.

Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'

Zen is a constraint solving library for .NET

Provide additional functionality to Android MotionLayout.

A super powerful Stack, build flexible layouts with constraints. Similar to ConstraintLayout for Android and AutoLayout for iOS. But the code implementation is much more efficient, it has O(n) layout time complexity and no linear equation solving is required.

Dpdl (Dynamic Packet Definition Language) is a rapid development programming language and constrained device framework with built-in database technology. Dpdl enables access to the Java platform API and external java libraries and allows the embedding and execution of C/C++ code, Python, Julia, js, Lua, and Ruby language directly within Dpdl code

Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

A constraint optimization problem involving the identification of the shortest path from the access to the exit door of the room avoiding randomly placed obstacles.

remixable octopus opensource neon colors cascade empathy @s9a

32-bit Single Precision Floating point Multiplication

Allows using @constraint as a directive to validate input data for graphql-ruby.

constraint for pixi.js.

Code made for Constraint Programming classes, similar with the 8 queens problem, analyzing solutions, pruning and use of an heuristic to optimize our code

Constraint Programming Final Project

Solving the two-dimensional strip packing problem, using several combinatorial decision making and optimization approaches: Constraint Programming, Boolean SATisfiability, Satisfiability Modulo Theory; Integer Linear Programming.