All Projects → conjure-cp → conjure

conjure-cp / conjure

Licence: other
Conjure: The Automated Constraint Modelling Tool

Programming Languages

haskell
3896 projects
shell
77523 projects
Makefile
30231 projects
Vim Script
2826 projects
Dockerfile
14818 projects
ruby
36898 projects - #4 most used programming language

Projects that are alternatives of or similar to conjure

GHOST
General meta-Heuristic Optimization Solving Toolkit
Stars: ✭ 28 (-66.67%)
Mutual labels:  constraints, constraint-programming, combinatorial-optimization
Optaplanner
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Stars: ✭ 2,454 (+2821.43%)
Mutual labels:  constraints, constraint-programming
clpz
Constraint Logic Programming over Integers
Stars: ✭ 131 (+55.95%)
Mutual labels:  constraints, constraint-programming
pycsp3
A Python Library for modeling combinatorial constrained problems
Stars: ✭ 39 (-53.57%)
Mutual labels:  constraints, constraint-programming
Arranged
Open source replacement of UIStackView for iOS 8 (100% layouts supported)
Stars: ✭ 202 (+140.48%)
Mutual labels:  constraints
Elpi
Embeddable Lambda Prolog Interpreter
Stars: ✭ 126 (+50%)
Mutual labels:  constraints
React Form With Constraints
Simple form validation for React
Stars: ✭ 117 (+39.29%)
Mutual labels:  constraints
Snapkitextend
SnapKit的扩展,SnapKit类似于Masonry,但是其没有对Arry的设置和对等间距排列的布局等,此扩展是类似Masonry的写法对SnapKit的补充,同时补充九宫格布局方式
Stars: ✭ 110 (+30.95%)
Mutual labels:  constraints
Composer Patches
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.
Stars: ✭ 196 (+133.33%)
Mutual labels:  constraints
Kvconstraintkit
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
Stars: ✭ 91 (+8.33%)
Mutual labels:  constraints
Logician
Logic programming in Swift
Stars: ✭ 182 (+116.67%)
Mutual labels:  constraints
Reactive record
Generate ActiveRecord models for a pre-existing Postgres db
Stars: ✭ 132 (+57.14%)
Mutual labels:  constraints
Core Layout
Flexbox & CSS-style Layout in Swift.
Stars: ✭ 215 (+155.95%)
Mutual labels:  constraints
Clpfd
Constraint Logic Programming over Finite Domains
Stars: ✭ 120 (+42.86%)
Mutual labels:  constraints
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!
Stars: ✭ 27 (-67.86%)
Mutual labels:  constraint-programming
simsttab
Simple timetabling engine for schools
Stars: ✭ 21 (-75%)
Mutual labels:  constraint-programming
Barabasi-Albert Network
Barabási–Albert Network. A Step-by-Step Model with Visualizations created in Python 3.
Stars: ✭ 43 (-48.81%)
Mutual labels:  modelling
Joiful
TypeScript Declarative Validation for Joi
Stars: ✭ 177 (+110.71%)
Mutual labels:  constraints
Flagception Bundle
Feature flags on steroids!
Stars: ✭ 162 (+92.86%)
Mutual labels:  constraints
StoryboardConstraint
A simple way to use programmatically Autolayout Constraint created in Storyboard.
Stars: ✭ 25 (-70.24%)
Mutual labels:  constraints

Conjure

Conjure is an automated modelling tool for Constraint Programming.

This repository contains the development version of the tool. For release versions please see the releases section.

License BSD3

Documentation Status

Building on all platforms

Running all tests

Documentation

Documentation for Conjure and its input language Essence can be found here.

The documentation also contains information on how to install Conjure and how to contact the developers.

Repository

Conjure's source code, issue tracker and releases are hosted on the conjure-cp/conjure Github repository.

You are very welcome to submit issues and pull requests!

A note about imported issues

The conjure-cp/conjure repository is the 3rd home of Conjure's development repository. Feel free to ignore this section if you don't care about it.

We used to use mercurial hosted on BitBucket in the past: and two separate repositories over time! We have imported the issues from the BitBucket repositories in order not to lose them into the conjure-cp/conjure repository.

For reference, the imported issues on the conjure-cp/conjure repository are the following:

  • issues 2-271 correspond to issues 1-270 from bitbucket/conjure-old
  • issues 272-349 correspond to issues 1-78 from bitbucket/conjure-private

We realise this is all a bit untidy, to say the least! We hope not to move the repositories around any more!

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].