conjure

Conjure: The Automated Constraint Modelling Tool

https://github.com/conjure-cp/conjure

Science Score: 36.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • CITATION.cff file
  • codemeta.json file
    Found codemeta.json file
  • .zenodo.json file
    Found .zenodo.json file
  • DOI references
  • Academic publication links
    Links to: zenodo.org
  • Academic email domains
  • Institutional organization owner
  • JOSS paper metadata
  • Scientific vocabulary similarity
    Low similarity (15.0%) to scientific vocabulary

Keywords

combinatorial-optimization constraint-programming constraints modelling sat
Last synced: 6 months ago · JSON representation

Repository

Conjure: The Automated Constraint Modelling Tool

Basic Info
  • Host: GitHub
  • Owner: conjure-cp
  • License: other
  • Language: Haskell
  • Default Branch: main
  • Homepage:
  • Size: 110 MB
Statistics
  • Stars: 105
  • Watchers: 11
  • Forks: 22
  • Open Issues: 63
  • Releases: 8
Topics
combinatorial-optimization constraint-programming constraints modelling sat
Created almost 10 years ago · Last pushed 6 months ago
Metadata Files
Readme License Citation

README.md

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.
  • If you want to cite Conjure, use the instructions on Zenodo DOI
  • Conjure's license is BSD3 License BSD3
  • Documentation is hosted on Read the Docs Documentation Status
  • Continuous testing on Github actions
    • Building on all platforms
    • Running all tests
    • Code coverage report available at: https://conjure-cp.github.io/conjure-code-coverage

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.

Demos

We host a few demo applications: See https://conjure-cp.github.io/demos

Conjure Notebook

Conjure can be used inside a Jupyter notebook, with seamless Python integration. Using this extension, parameters are automatically passed from Python to Conjure and solutions are automatically made available in Python.

See the conjure-cp/conjure-notebook repository for details.

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!

GitHub Events

Total
  • Create event: 12
  • Commit comment event: 1
  • Issues event: 14
  • Watch event: 7
  • Delete event: 6
  • Issue comment event: 14
  • Push event: 58
  • Pull request event: 27
  • Fork event: 2
Last Year
  • Create event: 12
  • Commit comment event: 1
  • Issues event: 14
  • Watch event: 7
  • Delete event: 6
  • Issue comment event: 14
  • Push event: 58
  • Pull request event: 27
  • Fork event: 2

Issues and Pull Requests

Last synced: 6 months ago

All Time
  • Total issues: 5
  • Total pull requests: 10
  • Average time to close issues: N/A
  • Average time to close pull requests: 9 days
  • Total issue authors: 4
  • Total pull request authors: 3
  • Average comments per issue: 0.0
  • Average comments per pull request: 0.0
  • Merged pull requests: 7
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 5
  • Pull requests: 10
  • Average time to close issues: N/A
  • Average time to close pull requests: 9 days
  • Issue authors: 4
  • Pull request authors: 3
  • Average comments per issue: 0.0
  • Average comments per pull request: 0.0
  • Merged pull requests: 7
  • Bot issues: 0
  • Bot pull requests: 0
Top Authors
Issue Authors
  • jwatts-maybe (6)
  • SeppiaBrilla (2)
  • ott2 (2)
  • niklasdewally (2)
  • ChrisJefferson (2)
  • N-J-Martin (1)
  • ozgurakgun (1)
  • vincepick (1)
  • chuhanuman (1)
Pull Request Authors
  • ozgurakgun (23)
  • SeppiaBrilla (2)
  • niklasdewally (2)
  • vincepick (2)
  • mocher72 (1)
  • ChrisJefferson (1)
Top Labels
Issue Labels
Pull Request Labels
Enhancement (1)