GitHub topics: constraint

Repositories

microsoft/Zen

Zen is a constraint solving library for .NET

Language: C# - Size: 1.38 MB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 105 - Forks: 12

roberthein/TinyConstraints

Nothing but sugar.

Language: Swift - Size: 35.7 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 4,066 - Forks: 200

confuser/graphql-constraint-directive

Validate GraphQL fields

Language: JavaScript - Size: 1.12 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 573 - Forks: 74

vojtech-dobes/php-conformance

Language: PHP - Size: 19.5 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

pranavpandey/dynamic-motion

Provide additional functionality to Android MotionLayout.

Language: Java - Size: 6.78 MB - Last synced at: 4 days ago - Pushed at: 12 days ago - Stars: 39 - Forks: 7

Vasyl-Bodnar/uvlpy

Constraint Solving Library using uv's Dependency Resolver

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

ergebnis/version-constraint

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

Language: PHP - Size: 753 KB - Last synced at: 16 days ago - Pushed at: 17 days ago - Stars: 1 - Forks: 0

AlexisJehan/DsvMender

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

Language: Java - Size: 249 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 4 - Forks: 0

TangramKit is a powerful iOS UI framework implemented by Swift. It integrates the functions with Android layout,iOS AutoLayout,SizeClass, HTML CSS float and flexbox and bootstrap. So you can use LinearLayout,RelativeLayout,FrameLayout,TableLayout,FlowLayout,FloatLayout,LayoutSizeClass to build your App 自动布局 UIView UITableView UICollectionView

Language: Swift - Size: 5.48 MB - Last synced at: 17 days ago - Pushed at: almost 4 years ago - Stars: 1,218 - Forks: 176

hackware1993/Flutter_ConstraintLayout

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.

Language: Dart - Size: 7.16 MB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 501 - Forks: 37

tiagocanto01/TCLayoutConstraint

Syntactic sugar that makes Auto Layout easier and readable

Language: Swift - Size: 24.4 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

imaginationtech/constrainedrandom

A Python package for creating and solving constrained randomization problems.

Language: Python - Size: 456 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 16 - Forks: 3

typedbyte/finito

A constraint solver for finite domains, written in Haskell.

Language: Haskell - Size: 24.4 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 1

jauhl/mecEdit

A lightweight editor for modeling and simulation of planar linkages

Language: JavaScript - Size: 10.2 MB - Last synced at: 4 months ago - Pushed at: about 6 years ago - Stars: 15 - Forks: 5

mottla/go-R1CS-Compiler

A compiler to turn GO code into a zkSNARK

Language: Go - Size: 1.03 MB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 16 - Forks: 1

Gillfrost/AnchorChain 📦

A fluent API for constraint-based iOS layout.

Language: Swift - Size: 223 KB - Last synced at: 13 days ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0

bruderj15/constrained-some

Constrainable existential type & utilities

Language: Haskell - Size: 21.5 KB - Last synced at: 14 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

matheusriale/Constraint-Programming_k_Knights_Problem

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

Language: Python - Size: 313 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

twibiral/JavaCHR

Object-oriented implementation of Constraint Handling Rules in modern Java

Language: Java - Size: 1.53 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0

s9a/tape

remixable octopus opensource neon colors cascade empathy @s9a

Language: HTML - Size: 85.9 KB - Last synced at: 6 days ago - Pushed at: 10 months ago - Stars: 3 - Forks: 0

SwiftKickMobile/SwiftAutoLayout

Write constraints in a concise, expressive, Swifty way.

Language: Swift - Size: 1.13 MB - Last synced at: 23 days ago - Pushed at: over 6 years ago - Stars: 90 - Forks: 10

KnowledgeForge/keymaker

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

Language: Python - Size: 675 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1

foshardware/refinement

Refinement model with first-order logic and range algebra

Language: Haskell - Size: 25.4 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

makao/lpsolve

LPSolve extension as simple PHP library

Language: PHP - Size: 6.84 KB - Last synced at: 3 months ago - Pushed at: over 9 years ago - Stars: 11 - Forks: 6

keshavvishwkarma/KVConstraintKit

An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.

Language: Swift - Size: 7.3 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 92 - Forks: 12

PrinsFrank/composer-version-lock 📦

FUNCTIONALITY NOW PROVIDED BY COMPOSER ITSELF.

Language: PHP - Size: 251 KB - Last synced at: 18 days ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 1

metaborg/ministatix.hs

A playground Statix implementation

Language: Haskell - Size: 436 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1

maxtuno/PEQNP

PEQNP Mathematical Solver

Language: C++ - Size: 35.3 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 14 - Forks: 0

CyberZHG/keras-perturbation 📦

A demonstration of perturbation of data

Language: Python - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

SEESolutions-it/DpdlEngine

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 OCaml language directly within Dpdl script

Size: 2.84 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

c-randall/LP_Solvers

Linear Program Solver: Simplex methods are used to solve any linear program (with sensitivity analysis option for constraints)

Language: Python - Size: 413 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 2

SamTheMar/LAAI

LAAI Project

Size: 1.42 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

rrreeeyyy/graphql-schema-directive-constraint

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

Language: Ruby - Size: 24.4 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 13 - Forks: 3

moewe-io/caldera-forms-unique-fields-validator

Caldera Forms processor which ensures that specific field values can only be submitted once per form.

Language: PHP - Size: 4.88 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

bluemumin/python_another_db_check

DBMS간 건수, 데이터 정합성 검증용 함수 python 파일

Language: Jupyter Notebook - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

Adeleet/1CK00_2019

Repo for 1CK00 Transport and Distribution TUe

Language: Python - Size: 7.28 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

echen805/AIND

Udacity Artificial Intelligence Nano Degree

Language: HTML - Size: 8.59 MB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

dcanalesr/ConstraintProgramming

Repository intended to explore the implementation of different constraint satisfaction and optimization algorithms such as backtracking and forward checking families

Language: C++ - Size: 356 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

nbathula16/SV-Project

32-bit Single Precision Floating point Multiplication

Language: SystemVerilog - Size: 5.99 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

alexliubj/EZAnchor

An easier and faster way to code Autolayout

Language: Swift - Size: 558 KB - Last synced at: 26 days ago - Pushed at: about 6 years ago - Stars: 25 - Forks: 2

FedericoSerafini/Room-Walk

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.

Language: TeX - Size: 2.52 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

SoftVarE-Group/BroT

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

Language: HTML - Size: 13.6 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

quangis/transforge

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

Language: Python - Size: 1.03 MB - Last synced at: 30 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0