-
Notifications
You must be signed in to change notification settings - Fork 20
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
adding a readme for the benefit of people browsing GItHub
- Loading branch information
1 parent
7009186
commit e07cfdf
Showing
1 changed file
with
19 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,19 @@ | ||
|
||
# Conjure | ||
|
||
[![Build Status](https://travis-ci.org/conjure-cp/conjure.svg?branch=master)](https://travis-ci.org/conjure-cp/conjure) | ||
[![Documentation Status](https://readthedocs.org/projects/conjure/badge/?version=latest)](https://readthedocs.org/projects/conjure/?badge=latest) | ||
|
||
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](https://github.com/conjure-cp/conjure/releases) section. | ||
|
||
## Documentation | ||
|
||
Documentation for Conjure and its input language Essence can be found [here](http://conjure.readthedocs.io). | ||
|
||
The documentation also contains information on | ||
how to [install](http://conjure.readthedocs.io/en/latest/installation.html) Conjure and | ||
how to [contact](http://conjure.readthedocs.io/en/latest/contact.html) the developers. | ||
|