93 Open source projects that are alternatives of or similar to clpz

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

General meta-Heuristic Optimization Solving Toolkit

A Python Library for modeling combinatorial constrained problems

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Conjure: The Automated Constraint Modelling Tool

Simple timetabling engine for schools

This repository containts the pytorch scripts to train mixed-precision networks for microcontroller deployment, based on the memory contraints of the target device.

The PHP pragmatic forms library

Applies a patch from a local or remote file to any package that is part of a given composer project. Patches can be defined both on project and on package level. Optional support for patch versioning, sequencing, custom patch applier configuration and composer command for testing/troubleshooting patches.

Feature flags on steroids!

🍦 Simplified and chainable AutoLayout constraints for iOS.

A Python wrapper for the MiniZinc tool pipeline.

Constraint Logic Programming over Finite Domains

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!

Add database table-level constraints to your Django model's Meta

Flexbox & CSS-style Layout in Swift.

Codac is a library for constraint programming over reals, trajectories and sets.

Logic programming in Swift

An extensible, lightweight relational/logic programming DSL written in pure Python

Generate ActiveRecord models for a pre-existing Postgres db

A cloth and soft body simulation library, using position based dynamics.

SnapKit的扩展,SnapKit类似于Masonry,但是其没有对Arry的设置和对等间距排列的布局等,此扩展是类似Masonry的写法对SnapKit的补充,同时补充九宫格布局方式

Postgresql constraints in migrations similiar to ActiveRecord validations

📏 A plugin that integrates constraints in Sketch to lay out layers.

Write constraints in a concise, expressive, Swifty way.

Python constraint programming library

Entropy-controlled contexts in Python

parsing postgres errors

A scala library for IBM ILOG CPLEX

Monadic Constraint Programming framework

Validator for SQLAlchemy Models

[Sketch Plugin] Sketch-flavored Auto Layout-like Constraints

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

Open source replacement of UIStackView for iOS 8 (100% layouts supported)

A Lua port of the cassowary constraint solver engine

Access to all MiniZinc functionality directly from Python

TypeScript Declarative Validation for Joi

Driftwood is a DSL to make Auto Layout easy on iOS, tvOS and macOS.

Auto Layout made easy

Optimized integer division for Java

Embeddable Lambda Prolog Interpreter

Python packages providing a library for Verification Stimulus and Coverage

Simple form validation for React

A Python API for the MiniSat and MiniCard constraint solvers.

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

Derivative-Free Optimization Method for Global Optimization (C++)

Constraint-based layout manager for GTK+

A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.

protoc plugin to generate polyglot message validators

CLP(SMT) on top of miniKanren

A python Linear Programming API

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

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

Transactional SQL based RDBMS with sophisticated multi table constraint logic.

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

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

Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc

Super puper duper mega easy awesome wrapper over auto layout!!111!!1!!!1!!!11111!!!1!!

A simple way to use programmatically Autolayout Constraint created in Storyboard.

RBDL - Rigid Body Dynamics Library - ORB Version - The two main differences to the original rbdl is that this version has error handling and uses polymorphism for constraints